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