The following pages link to Computer Science Logic (Q5311254):
Displayed 9 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)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)