Infer
From MaRDI portal
Software:32676
swMATH20862MaRDI QIDQ32676FDOQ32676
Author name not available (Why is that?)
Cited In (15)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- Title not available (Why is that?)
- Separation logics and modalities: a survey
- 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
- Incremental and modular context-sensitive analysis
- On temporal and separation logics
- Program Verification with Separation Logic
- Tractability of separation logic with inductive definitions: beyond lists
- Automatically proving termination and memory safety for programs with pointer arithmetic
- Temporary read-only permissions for separation logic
- A decision procedure for separation logic in SMT
- A complete decision procedure for linearly compositional separation logic with data constraints
- Featherweight VeriFast
- Unified reasoning about robustness properties of symbolic-heap separation logic
This page was built for software: Infer
