Login / Signup
Incremental Bounded Model Checking for Embedded Software (extended version).
Peter Schrammel
Daniel Kroening
Martin Brain
Ruben Martins
Tino Teige
Tom Bienmüller
Published in:
CoRR (2014)
Keyphrases
</>
embedded software
bounded model checking
software architecture
model checking
development projects
formal verification
embedded systems
temporal logic
sequence diagrams
linear temporal logic
real time
test set