Model Checking Transactional Memory with Spin.
John W. O'LearyBratin SahaMark R. TuttlePublished in: ICDCS (2009)
Keyphrases
- model checking
- transactional memory
- speculative execution
- temporal logic
- temporal properties
- formal specification
- formal verification
- model checker
- programs written
- automated verification
- symbolic model checking
- computation tree logic
- blue gene
- parallel computing
- parallel execution
- formal methods
- massively parallel
- parallel programming
- bounded model checking
- computing systems
- epistemic logic
- verification method
- timed automata
- field programmable gate array
- alternating time temporal logic
- database
- planning domains
- high level