Infer
From MaRDI portal
Cited in
(37)- Unified reasoning about robustness properties of symbolic-heap separation logic
- SeLoger
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- scientific article; zbMATH DE number 7350781 (Why is no real title available?)
- 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
- Predator
- HIP
- SLAyer
- Smallfoot
- VeriSmall
- ModuRes
- Fugue
- Ctrl
- Clara
- IKOS
- THOR
- coreStar
- Cyclist
- Sparrow
- Caper
- Fran
- Charge!
- GRASShopper
- Slide
- Program Verification with Separation Logic
- IncA
- Tractability of separation logic with inductive definitions: beyond lists
- Automatically proving termination and memory safety for programs with pointer arithmetic
- A decision procedure for separation logic in SMT
- Temporary read-only permissions for separation logic
- Juliet Test Suite
- A complete decision procedure for linearly compositional separation logic with data constraints
- Featherweight VeriFast
This page was built for software: Infer
