Formalizing UML State Machines for Automated Verification - A Survey.
Étienne AndréShuang LiuYang LiuChristine ChoppyJun SunJin Song DongPublished in: CoRR (2024)
Keyphrases
- probability distribution
- automated verification
- state machines
- state machine
- sequence diagrams
- model checking
- finite state machines
- automated reasoning
- formal verification
- petri net
- fault tolerant
- formal methods
- temporal logic
- intermediate representation
- regression testing
- reactive systems
- dependency graph
- formal specification
- artificial intelligence
- graph theory
- information flow
- fuzzy logic