Presentations from the ESWEEK 2010 Tutorial on
"Quantitative System Validation in Model-Driven Design"

Jan Tretmans: Model-Based Testing applied to a Wireless Sensor Network Node

Holger Hermans: Stochastic and Probabilistic Model Checking and the CHESS Case and video

Kim G. Larsen: Real-Time Model Checking: Scheduling & Schedulability Analysis

Jean Francois Raskin: Controller Synthesis and the Hydac Case Study

Quasimodo Project Presentation Slides

Photo of Quasimodo Presenters in Scottsdale