SMT-Based Bounded Model Checking for Embedded ANSI-C Software.

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

Published in: ASE (2009)

Keyphrases

bounded model checking
formal verification
control software
embedded systems
model checking
computer systems
software systems
temporal logic
linear temporal logic
software architecture
software development
multi agent systems
software tools
data flow
software testing
search strategy
source code