Author: Bezuidenhout, Johannes Abraham
Author: Fasan, Mary Oluwasola
Similar Items: Automated program generation : bridging the gap between model and implementation
- A model checker for the LF system
- A kernel to support computer-aided verification of embedded software
- A language to support verification of embedded software
- Design and evaluation of a formula cache for SMT-based bounded model checking tools
- Reducing communication in distributed model checking
- A comparison of two different model checking techniques
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