Pages that link to "Item:Q2891406"
From MaRDI portal
The following pages link to Regression Verification for Multi-threaded Programs (Q2891406):
Displaying 6 items.
- Program equivalence by circular reasoning (Q493521) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Algorithmic games for full ground references (Q1650867) (← links)
- Predicate Pairing for program verification (Q4644353) (← links)
- Linear Quantifier Elimination as an Abstract Decision Procedure (Q5747770) (← links)
- Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) (Q5962972) (← links)
