THOR

swMATH15079MaRDI QIDQ26973FDOQ26973

Author name not available (Why is that?)

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

Cited In (6)

• 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
• Unified reasoning about robustness properties of symbolic-heap separation logic

This page was built for software: THOR