SLAB

MaRDI QIDQ21854swMATHFDO

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

Cited in

(11)

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

This page was built for software: SLAB