Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software.
Daniel WelchPublished in: SIGCSE (2017)
Keyphrases
- automated verification
- model checking
- automated reasoning
- wide range
- formal methods
- formal verification
- software systems
- formal specification
- source code
- software development
- test bed
- user interface
- computer systems
- requirements specification
- theorem proving
- high assurance
- social networks
- software tools
- inference rules
- software projects
- formal model
- integrity constraints
- software architecture
- case study
- knowledge base