Model Checking in Industry & the CONVINCE Project: Toolchain for Verification of Robotic Deliberation (AS2FM and SMC Storm) – Model Checking Tool Demo (SMC Storm, AS2FM, The Modest Toolset)

13:30 - 15:00 – Michaela Klauck

Introduction to model checking tooling, Storm, The Modest Toolset, SMC Storm and AS2FM. With demonstration of the tools using small examples.

Session materials:

• Slides: Software Engineering for Reliable Autonomous Robots