Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking.
Stefania GnesiDiego LatellaMieke MassinkPublished in: J. Log. Algebraic Methods Program. (2002)
Keyphrases
- model checking
- epistemic logic
- uml class diagrams
- computation tree logic
- temporal logic
- formal methods
- class diagrams
- formal specification
- specification language
- process algebra
- uml diagrams
- linear time temporal logic
- sequence diagrams
- model checker
- alternating time temporal logic
- formal verification
- class diagram
- temporal properties
- automated verification
- finite state machines
- symbolic model checking
- test cases
- bounded model checking
- transition systems
- modal logic
- verification method
- concurrent systems
- software systems
- software testing
- logical framework
- timed automata
- formal semantics
- multi agent systems
- planning domains
- constraint language
- asynchronous circuits
- argumentation frameworks
- software development