The Influence of Software Module Systems on Modular Verification.
Harry C. LiKathi FislerShriram KrishnamurthiPublished in: SPIN (2002)
Keyphrases
- computer systems
- commercial software
- data sets
- embedded systems
- model checking
- complex systems
- formal methods
- design tools
- software systems
- building blocks
- commercial off the shelf
- hardware designs
- industrial strength
- case study
- highly modular
- maintenance activities
- formal verification
- business applications
- software packages
- computing systems
- software maintenance
- retrieval systems
- open source
- user interface
- expert systems
- artificial intelligence