Similar Items: An LTL verification system based on automata theory
- Concrete and symbolic linearisability checking of non-blocking concurrent data structures
- A survey of proof systems for CSP
- A language to support verification of embedded software
- A model checker for the LF system
- Reducing communication in distributed model checking
- Design and evaluation of a formula cache for SMT-based bounded model checking tools