Effective verification of low-level software with nested interrupts.

Daniel Kroening Lihao Liang Tom Melham Peter Schrammel Michael Tautschnig

Published in: DATE (2015)

Keyphrases

low level
high level
software development
software systems
formal methods
computer systems
higher level
computationally efficient
databases
software package
semantic information
model checking
hierarchical structure
development process
software design
computer vision
real time
mid level
formal verification