The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Wolfgang AhrendtThomas BaarBernhard BeckertMartin GieseElmar HabermalzReiner HähnleWolfram MenzelPeter H. SchmittPublished in: JELIA (2000)
Keyphrases
- formal verification
- object oriented design
- model checking
- formal specification
- object oriented systems
- object oriented
- model checker
- bounded model checking
- software design
- symbolic model checking
- automated verification
- specification language
- program slicing
- case study
- temporal logic
- software systems
- test cases
- data model
- multi agent systems