The following pages link to Computer Science Logic (Q5311254):
Displaying 14 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Doomed program points (Q633286) (← links)
- Decidable fragments of many-sorted logic (Q1041587) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Bounded Quantifier Instantiation for Checking Inductive Invariants (Q3303891) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Local Reasoning for Global Graph Properties (Q5041096) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
