Efficient Modelling of Embedded Software Systems and their Formal Verification.

Vladimir Estivill-Castro René Hexel David A. Rosenblueth

Published in: APSEC (2012)

Keyphrases

formal verification
embedded software
automated verification
model checking
embedded systems
development projects
software architecture
web services
database systems
database management