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