Verifying Real-World Software with Contracts for Concurrency.
João M. LourençoPublished in: ISoLA (4) (2018)
Keyphrases
- real world
- software systems
- software development
- synthetic data
- industrial strength
- software tools
- case study
- software packages
- software package
- software design
- data flow
- concurrency control
- data mining
- data sets
- hardware design
- software maintenance
- databases
- model checking
- test cases
- database
- wide range
- personal computer
- search engine
- source code
- software engineering
- software quality
- object oriented
- user interface
- decision making