Modular verification of interrupt-driven software.
Chungha SungMarkus KusanoChao WangPublished in: ASE (2017)
Keyphrases
- software systems
- source code
- model checking
- software development
- software design
- data driven
- software tools
- formal methods
- data mining
- software architecture
- hardware design
- analysis tool
- development process
- software application
- computer software
- software developers
- software projects
- data sets
- decision trees
- real world