Sign in
Formalizing UML State Machines for Automated Verification - A Survey.
Étienne André
Shuang Liu
Yang Liu
Christine Choppy
Jun Sun
Jin Song Dong
Published in:
ACM Comput. Surv. (2023)
Keyphrases
</>
state machines
automated verification
state machine
sequence diagrams
model checking
finite state machines
automated reasoning
formal verification
petri net
fault tolerant
temporal logic
intermediate representation
regression testing
graph theory
formal methods
theorem prover
reactive systems