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