A Formalisation of SysML State Machines in mCRL2.

Mark Bouwman Bas Luttik Djurre van der Wal

Published in: FORTE (2021)

Keyphrases

state machines
formal methods
formal analysis
state machine
reactive systems
petri net
modeling language
safety analysis
recurrent networks
sequence diagrams
fault tolerant
model checking
safety critical
formal specification
software engineering
control system
nuclear power plant
artificial intelligence
real time