Sign in
Effective Verification for Low-Level Software with Competing Interrupts.
Lihao Liang
Tom Melham
Daniel Kroening
Peter Schrammel
Michael Tautschnig
Published in:
ACM Trans. Embed. Comput. Syst. (2018)
Keyphrases
</>
low level
high level
higher level
software systems
software design
software evolution
formal verification
neural network
genetic algorithm
search engine
face recognition
object oriented
computer systems
low level features
mid level