Specification and Verification of Invariants by Exploiting Layers in OO Designs.
Ronald MiddelkoopCornelis HuizingRuurd KuiperErik J. LuitPublished in: Fundam. Informaticae (2008)
Keyphrases
- formal verification
- object oriented
- formal methods
- asynchronous circuits
- model checking
- object oriented programs
- programming language
- specification language
- protocol specification
- data model
- object oriented databases
- conceptual modeling
- design methodology
- face verification
- high level
- multi layer
- formal specification
- conceptual models
- design principles
- software engineering
- object oriented technology
- query language
- petri net
- general purpose
- colored petri nets
- concurrent systems
- architectural models
- object oriented modeling
- relational databases