Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.
Diego LatellaIstván MajzikMieke MassinkPublished in: Formal Aspects Comput. (1999)
Keyphrases
- model checker
- formal methods
- model checking
- class diagrams
- test suite
- test cases
- uml diagrams
- sequence diagrams
- specification language
- description language
- unified modeling language
- formal verification
- class diagram
- uml class diagrams
- object oriented
- formal specification
- temporal logic
- software engineering
- knowledge based systems
- artificial intelligence
- software design
- software systems
- software testing
- modeling language
- set theory
- planning domains
- metamodel
- database design
- reverse engineering
- rough set theory
- software architecture