The following pages link to Infer (Q32676):
Displaying 15 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- A decision procedure for separation logic in SMT (Q1990511) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic (Q2961583) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
- Featherweight VeriFast (Q3196351) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- (Q4989410) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5111651) (← links)
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions (Q5875940) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
