Author: Geldenhuys, J.
Similar Items: A model checker for the LF system
- A language to support verification of embedded software
- A survey of proof systems for CSP
- An LTL verification system based on automata theory
- Automated program generation : bridging the gap between model and implementation
- A kernel to support computer-aided verification of embedded software
- Reducing the state explosion problem during model checking