Sign in
Incremental bounded model checking for embedded software.
Peter Schrammel
Daniel Kroening
Martin Brain
Ruben Martins
Tino Teige
Tom Bienmüller
Published in:
Formal Aspects Comput. (2017)
Keyphrases
</>
embedded software
bounded model checking
model checking
formal verification
software architecture
development projects
linear temporal logic
embedded systems
temporal logic
sequence diagrams
multi agent systems
database
artificial intelligence
domain independent