THOR

MaRDI QIDQ26973swMATHFDO

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

Cited in

(6)

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

This page was built for software: THOR