Infer
From MaRDI portal
Software:32676
swMATH20862MaRDI QIDQ32676FDOQ32676
Author name not available (Why is that?)
Cited In (15)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- Title not available (Why is that?)
- Separation logics and modalities: a survey
- Title not available (Why is that?)
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
- Program Verification with Separation Logic
- Automatically proving termination and memory safety for programs with pointer arithmetic
- A decision procedure for separation logic in SMT
- Featherweight VeriFast
- Temporary Read-Only Permissions for Separation Logic
- Incremental and Modular Context-sensitive Analysis
- On Temporal and Separation Logics
This page was built for software: Infer
