SLAB
From MaRDI portal
Software:21854
No author found.
Related Items (6)
Splitting via Interpolants ⋮ Proof tree preserving tree interpolation ⋮ Predicate Abstraction for Program Verification ⋮ Complete instantiation-based interpolation ⋮ Structural transformations for data-enriched real-time systems ⋮ Lost in abstraction: monotonicity in multi-threaded programs
This page was built for software: SLAB
