Modular Verification of Interrupt-Driven Software.

Chungha Sung Markus Kusano Chao Wang

Published in: CoRR (2017)

Keyphrases

software systems
software tools
model checking
user interface
software development
data driven
software maintenance
software design
software testing
data sets
website
face verification
formal methods
hardware design
formal verification
modular neural networks