Formal verification of an industrial UML-like model using mCRL2 (extended version).

Anna Stramaglia Jeroen J. A. Keiren

Published in: CoRR (2022)

Keyphrases

formal verification
computational model
objective function
probabilistic model
probability distribution
programming language
open source
conceptual model
state machine