Symbolic model checking of hierarchical UML state machines.
Jori DubrovinTommi A. JunttilaPublished in: ACSD (2008)
Keyphrases
- state machines
- state machine
- symbolic model checking
- sequence diagrams
- model checking
- finite state machines
- partial observability
- fault tolerant
- petri net
- formal verification
- model checker
- formal methods
- intermediate representation
- temporal logic
- symbolic representation
- neural network
- regression testing
- dependency graph
- planning domains
- modeling language
- real valued
- test cases
- object oriented
- reinforcement learning