Infer
From MaRDI portal
Cited in
(37)- Separation logics and modalities: a survey
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
- Tractability of separation logic with inductive definitions: beyond lists
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
- SeLoger
- Automatically proving termination and memory safety for programs with pointer arithmetic
- scientific article; zbMATH DE number 7350781 (Why is no real title available?)
- Predator
- HIP
- SLAyer
- Smallfoot
- VeriSmall
- ModuRes
- Fugue
- Ctrl
- Clara
- IKOS
- THOR
- Program Verification with Separation Logic
- coreStar
- Cyclist
- Sparrow
- Caper
- Fran
- A complete decision procedure for linearly compositional separation logic with data constraints
- Charge!
- GRASShopper
- Slide
- Temporary read-only permissions for separation logic
- IncA
- Juliet Test Suite
- Incremental and modular context-sensitive analysis
- A decision procedure for separation logic in SMT
- On temporal and separation logics
- Featherweight VeriFast
- Unified reasoning about robustness properties of symbolic-heap separation logic
This page was built for software: Infer
