Pages that link to "Item:Q5962972"
From MaRDI portal
The following pages link to Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) (Q5962972):
Displaying 4 items.
- Automating regression verification of pointer programs by predicate abstraction (Q1650864) (← links)
- Abstract semantic diffing of evolving concurrent programs (Q2322311) (← links)
- Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures (Q3525644) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)