Verifying OO Programs by Linking Algebraic and Abstract Specifications.
Qin ShuShuling WangYijing LiuPublished in: TASE (2012)
Keyphrases
- object oriented
- high level
- control flow
- state machines
- conceptual models
- programming language
- conceptual modeling
- recursive programs
- data model
- model checking
- object oriented databases
- formal specification
- specification language
- computer programs
- object oriented modeling
- delay insensitive
- transition systems
- design methodology
- conceptual model
- finite state machines
- formal verification
- object oriented systems
- higher level
- general purpose
- query language
- low level
- object oriented programs