A formal verification technique for embedded software.

Olivier Thiry Luc J. M. Claesen

Published in: ICCD (1996)

Keyphrases

formal verification
embedded software
model checking
software architecture
embedded systems
development projects
automated verification
model checker
bounded model checking
symbolic model checking
case study
sequence diagrams
real time
software engineering
test set