Experience report: Formal verification and testing in the development of embedded software.

Andreas Ulrich Anjelika Votintseva

Published in: ISSRE (2015)

Keyphrases

embedded software
formal verification
development projects
model checking
software architecture
embedded systems
bounded model checking
automated verification
real time
symbolic model checking
model checker
database
development process
sequence diagrams
database systems
software engineering