Cited in
(23)- Locust
- Learning shape analysis
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- Expressive completeness of separation logic with two variables and no separating conjunction
- A first-order logic with frames
- Congruence closure with free variables
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
- MoSeL
- SeLoger
- Ultimate Automizer
- Deciding local theory extensions via E-matching
- HIP
- Smallfoot
- Viper
- Caper
- Infer
- A complete decision procedure for linearly compositional separation logic with data constraints
- VACID-0
- H-PILoT
- Slide
- Local reasoning for global graph properties
- Separation logic with one quantified variable
- Verifying visibility-based weak consistency
This page was built for software: GRASShopper
