Login / Signup

Formal Verification of an Industrial UML-like Model using mCRL2.

Anna StramagliaJeroen J. A. Keiren
Published in: FMICS (2022)
Keyphrases
  • probabilistic model
  • formal verification
  • objective function
  • high level
  • probability distribution
  • model checking
  • metamodel