GRASShopper
From MaRDI portal
Software:35077
swMATH23304MaRDI QIDQ35077FDOQ35077
Author name not available (Why is that?)
Cited In (11)
- 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
- Deciding local theory extensions via E-matching
- 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
