Test and Verification

Lecture 1

Subject

Introduction to Validation and Model Checking
Introduction to UPPAAL , visualSTATE and ESTEREL.

Material

[JPK] chapter 1
[CW], [JPK2], [CK], [SALLT+], [HSLL] (browse through)

Semaphore system model and queries