High-Quality Software through Semiformal Specification and Verification.
Allan M. StavelyPublished in: CSEE&T (1999)
Keyphrases
- high quality
- formal verification
- formal methods
- software development
- software systems
- asynchronous circuits
- model checking
- software tools
- test cases
- high level
- low quality
- commercial software
- computer systems
- requirements specification
- ground truth
- image quality
- software design
- colored petri nets
- real time
- test case generation
- signature verification
- software packages
- specification language
- software maintenance
- software components
- development process
- operating system
- super resolution
- software engineering