SLAB

swMATH9875MaRDI QIDQ21854FDOQ21854

Author name not available (Why is that?)

Cited In (6)

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

This page was built for software: SLAB