Modular Verification of OO Programs with Interfaces.
Zongyan QiuAli HongYijing LiuPublished in: ICFEM (2012)
Keyphrases
- object oriented
- symbolic execution
- programming language
- model checking
- user interface
- query language
- object oriented databases
- hardware designs
- automatic programming
- conceptual modeling
- general purpose
- data model
- database schema
- relational databases
- fingerprint verification
- database
- formal verification
- verification method
- database systems
- concurrent systems
- object oriented modeling
- java bytecode
- case study