Introduction to Model Checking Methods (Probabilistic Model Checking, Statistical Model Checking) & Formal Modeling Languages (JANI)

11:00 - 12:30 – Michaela Klauck

Introduction to the algorithmic details of probabilistic model checking, full state space model checking, statistical model checking, as well as formal modeling languages, like JANI and SCXML.

Session materials:

• Slides: Verification and Validation (V&V) of Autonomous Robots