Formal Verification of UML-modeled Machine Controls.
Thomas KlotzEva FordranBernd StraubeJürgen HaufePublished in: ETFA (2009)
Keyphrases
- formal verification
- model checking
- bounded model checking
- model checker
- automated verification
- formal methods
- database design
- metamodel
- symbolic model checking
- object oriented
- temporal logic
- object oriented modeling
- modeling language
- conceptual modeling
- software engineering
- data model
- program slicing
- knowledge base
- uml class diagrams
- batch processing
- multi agent systems
- database systems