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