swMATH23304MaRDI QIDQ35077FDOQ35077
Author name not available (Why is that?)
Official website: https://cs.nyu.edu/wies/software/grasshopper/
Cited In (23)
- Locust
- 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
- SeLoger
- Ultimate Automizer
- HIP
- Smallfoot
- Viper
- Deciding local theory extensions via E-matching
- Caper
- Infer
- VACID-0
- H-PILoT
- Slide
- 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
