SLAB

MaRDI QIDQ21854swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-12002-2_22

Cited in

(11)

• ACL2s
• SymmPa
• Threader
• Wolverine
• Proof tree preserving tree interpolation
• Splitting via Interpolants
• monabs
• Predicate abstraction for program verification
• Structural transformations for data-enriched real-time systems
• Complete instantiation-based interpolation
• Lost in abstraction: monotonicity in multi-threaded programs

This page was built for software: SLAB