Cited in
(11)- Separation logics and modalities: a survey
- On temporal and separation logics
- Expressive completeness of separation logic with two variables and no separating conjunction
- On Symbolic Heaps Modulo Permission Theories
- Infer
- GRASShopper
- Slide
- Tractability of separation logic with inductive definitions: beyond lists
- Locust
- Separation logic with one quantified variable
- Learning shape analysis
This page was built for software: SeLoger
