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