The following pages link to Computer Aided Verification (Q5312934):
Displaying 5 items.
- Verification of STM on relaxed memory models (Q453508) (← links)
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving (Q617922) (← links)
- Question-guided stubborn set methods for state properties (Q862861) (← links)
- CSP is a retract of CCS (Q960852) (← links)
- System-level state equality detection for the formal dynamic verification of legacy distributed applications (Q2413022) (← links)
