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

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

Published in: CoRR (2009)

Keyphrases

bounded model checking
embedded software
model checking
formal verification
embedded systems
software architecture
temporal logic
development projects
linear temporal logic
multi agent systems
sequence diagrams
formal specification
planning domains