Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects.
David R. CokPublished in: ISoLA (4) (2018)
Keyphrases
- object oriented
- proof planning
- open source
- byte code
- automated theorem provers
- lessons learned
- industrial applications
- semi automated
- programming language
- fully automated
- formal verification
- source code
- formal proof
- case study
- model checking
- commercial systems
- theorem proving
- signature verification
- software projects
- software development
- real world
- java programs
- project management
- database languages
- database applications
- web services
- java bytecode
- information systems