Login / Signup
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Lucas C. Cordeiro
Bernd Fischer
João P. Marques Silva
Published in:
CoRR (2009)
Keyphrases
</>
bounded model checking
embedded systems
control software
formal verification
model checking
computer systems
software systems
software architecture
linear temporal logic
temporal logic
source code
real time systems
user interface
multi agent
software maintenance
software development
multi agent systems