coreStar

MaRDI QIDQ30359swMATHFDO

Official website http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.231.9779&rep=rep1&type=pdf#page=69

Cited in

(5)

• Unified reasoning about robustness properties of symbolic-heap separation logic
• Model checking for symbolic-heap separation logic with inductive predicates
• Viper: a verification infrastructure for permission-based reasoning
• Grasshopper
• THOR

This page was built for software: coreStar