Similar Items: Efficiency issues in the design of a model checker
- A model checker for the LF system
- The design of a specification language suitable for the generation of compilers
- An LTL verification system based on automata theory
- A survey of proof systems for CSP
- LF : a language for reliable embedded systems
- Reducing the state explosion problem during model checking