FM'21: Tutorial

Prepare Your System

Tutorial

1. Getting Started
2. Best Practices
3. Running Example
4. Model Construction
- 4.1. Modeling with Momba
- 4.2. Model the Game
5. Model Validation
6. Model Analysis

4. Model Construction¶

In this section, you will learn how to construct a formal model with Momba.

previous

3. Running Example

next

4.1. Modeling with Momba

© Copyright 2021, Maximilian Köhl, Saarland University.

A tutorial co-located with FM'21 organized by Holger Hermanns and Maximilian Köhl.
Imprint | Hosted by GitHub – Privacy Policy.