THOR

MaRDI QIDQ26973swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-70545-1_41

Cited in

(6)

• Unified reasoning about robustness properties of symbolic-heap separation logic
• Propositional reasoning about safety and termination of heap-manipulating programs
• FixBag
• coreStar
• Separation Logic Tutorial
• Invariants synthesis over a combined domain for automated program verification

This page was built for software: THOR