FixBag

swMATH10096MaRDI QIDQ22065FDOQ22065

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-22110-1_53

Cited In (6)

• QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
• Semantic-directed clumping of disjunctive abstract states
• Quicr
• THOR
• MemCAD
• Invariants synthesis over a combined domain for automated program verification

This page was built for software: FixBag