GRASShopper
From MaRDI portal
Software:35077
swMATH23304MaRDI QIDQ35077FDOQ35077
Author name not available (Why is that?)
Cited In (11)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
- A First-Order Logic with Frames
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
- Deciding local theory extensions via E-matching
- Learning Shape Analysis
- Congruence Closure with Free Variables
- Separation logic with one quantified variable
- Verifying Visibility-Based Weak Consistency
- Local Reasoning for Global Graph Properties
This page was built for software: GRASShopper
