Similar Items: Formal specification and verification of safety interlock systems: A comparative case study
- A kernel to support computer-aided verification of embedded software
- Regulated rewriting in formal language theory
- Reducing communication in distributed model checking
- Extended probabilistic symbolic execution
- Investigating the non-termination of affine loops
- Kernel support for embedded reactive systems
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