Author: Ackerman, Charlotte Christene
Author: Ackerman, M. C . (Marthinus Casper)
Similar Items: A kernel to support computer-aided verification of embedded software
- A language to support verification of embedded software
- A model checker for the LF system
- Kernel support for embedded reactive systems
- A comparison of two different model checking techniques
- An LTL verification system based on automata theory
- Automated program generation : bridging the gap between model and implementation
Similar Items: A language to support verification of embedded software
- A kernel to support computer-aided verification of embedded software
- A flexible environment for software development targeted for embedded systems
- LF : a language for reliable embedded systems
- A model checker for the LF system
- An LTL verification system based on automata theory
- Towards securing software of embedded Linux devices