The following pages link to Computer Science Logic (Q5311261):
Displaying 29 items.
- Function extraction (Q436372) (← links)
- Algebraic separation logic (Q549676) (← links)
- Frame rule for mutually recursive procedures manipulating pointers (Q732009) (← links)
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Relational separation logic (Q879369) (← links)
- False failure: creating failure models for separation logic (Q1617829) (← links)
- VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Backwards and forwards with separation logic (Q1791147) (← links)
- Separation logic-based verification atop a binary-compatible filesystem model (Q2038034) (← links)
- Completeness and expressiveness of pointer program verification by separation logic (Q2417849) (← links)
- A program logic for resources (Q2463560) (← links)
- Proving pointer programs in higher-order logic (Q2486585) (← links)
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (Q2802468) (← links)
- The relationship between separation logic and implicit dynamic frames (Q2904617) (← links)
- High-level separation logic for low-level code (Q2931805) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Mechanized semantics (Q3060983) (← links)
- Types, Maps and Separation Logic (Q3183535) (← links)
- A Formalisation of Smallfoot in HOL (Q3183546) (← links)
- Lightweight Separation (Q3543659) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- A proof system for separation logic with magic wand (Q5408443) (← links)
- Higher-Order Separation Logic in Isabelle/HOLCF (Q5415649) (← links)
- (Q5506350) (← links)
- Proof automation for functional correctness in separation logic (Q5739977) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
- Automated Deduction – CADE-19 (Q5900714) (← links)
