FixBag

MaRDI QIDQ22065swMATHFDO

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