coreStar

swMATH18520MaRDI QIDQ30359FDOQ30359

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: coreStar