Vooduu: Verification of Object-Oriented Designs Using UPPAAL.
Karsten DiethersMichaela HuhnPublished in: TACAS (2004)
Keyphrases
- object oriented
- model checking
- model checker
- formal verification
- temporal logic
- timed automata
- object oriented databases
- relational databases
- data model
- database design
- formal specification
- programming language
- database applications
- formal methods
- verification method
- software engineering
- database schema
- object oriented modeling
- object oriented languages
- object oriented concepts
- neural network
- object oriented database systems
- design patterns
- data warehousing
- data sets
- object oriented programming
- signature verification
- test suite
- general purpose
- query language
- high level
- programming interface