Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking.

Lucas C. Cordeiro Bernd Fischer João Marques-Silva

Published in: ECBS (2010)

Keyphrases

bounded model checking
embedded software
model checking
formal verification
temporal logic
software architecture
embedded systems
development projects
linear temporal logic
formal specification
sequence diagrams
concurrent systems
information systems
belief revision