Checking Concise Specifications for Multithreaded Software.
Stephen N. FreundShaz QadeerPublished in: J. Object Technol. (2004)
Keyphrases
- written in natural language
- control flow
- software package
- commercial software
- source code
- real time
- software requirements
- software platform
- software packages
- software design
- development process
- computer systems
- software development
- software components
- software maintenance
- data flow
- software systems
- software testing
- test cases
- functional requirements
- case study
- neural network
- reactive systems
- data sets
- requirements specification
- database