swMATH20862MaRDI QIDQ32676FDOQ32676
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1986345
Cited In (37)
- 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
- SeLoger
- Program Verification with Separation Logic
- Predator
- HIP
- SLAyer
- Smallfoot
- VeriSmall
- ModuRes
- Fugue
- Ctrl
- Clara
- IKOS
- THOR
- coreStar
- Cyclist
- Sparrow
- Caper
- Fran
- Tractability of separation logic with inductive definitions: beyond lists
- Charge!
- GRASShopper
- Slide
- 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
- IncA
- Juliet Test Suite
- 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
