The following pages link to Computer Aided Verification (Q5312907):
Displaying 5 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- Generalised multi-pattern-based verification of programs with linear linked structures (Q2642987) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs (Q5452196) (← links)
