Formal Verification of Concurrent Embedded Software.

Dirk Nowotka Johannes Traub

Published in: IESS (2013)

Keyphrases

formal verification
embedded software
model checking
embedded systems
software architecture
development projects
model checker
bounded model checking
automated verification
symbolic model checking
sequence diagrams
integrity constraints
real time
temporal logic
distributed systems
data model
case study