Cited in
(11)- Structural transformations for data-enriched real-time systems
- Predicate abstraction for program verification
- Lost in abstraction: monotonicity in multi-threaded programs
- Complete instantiation-based interpolation
- Proof tree preserving tree interpolation
- ACL2s
- SymmPa
- Threader
- Wolverine
- monabs
- Splitting via Interpolants
This page was built for software: SLAB
