Control and Data Abstraction: The Cornerstones of Practical Formal Verification.
Yonit KestenAmir PnueliPublished in: Int. J. Softw. Tools Technol. Transf. (2000)
Keyphrases
- formal verification
- data abstraction
- model checking
- formal specification
- conceptual modelling
- conceptual modeling
- database management
- model checker
- symbolic model checking
- object oriented databases
- temporal logic
- fault localization
- bounded model checking
- object oriented
- abstract data types
- databases
- automated verification
- incomplete information
- database applications
- programming language
- data structure
- case study