A Tool for Transforming SysML State Machine into Uppaal Automatically.

Shaopeng Wang Jianqi Shi Yanhong Huang Yang Yang

Published in: SMC (2023)

Keyphrases

state machine
state machines
finite state machines
fault tolerant
model checking
automatically generated
helping users
software tools
modeling language