Similar Items: Reducing communication in distributed model checking
- Design and evaluation of a formula cache for SMT-based bounded model checking tools
- Concrete and symbolic linearisability checking of non-blocking concurrent data structures
- A comparison of two different model checking techniques
- An LTL verification system based on automata theory
- Reducing the state explosion problem during model checking
- A model checker for the LF system
Author: Geldenhuys, Jaco
- Reducing communication in distributed model checking
- Automated program generation : bridging the gap between model and implementation
- Distributed binary decision diagrams
- FATKID : a Finite Automaton Toolkit
- QoS routing in IP networks using multi-constrained computational methods
- Formal specification and verification of safety interlock systems: A comparative case study