Lecture on "Advanced Model Checking for Verification and Safety Assessment"
Part of the Sixth Summer School on Formal Techniques (SSFT16)
- Location: Menlo College, Atherton, CA
- Dates: May 22-27, 2016
The lecture will be split into two parts, the first one focused on model checking, the second focused on the safety assessment and contract-based architectural design.
Material for the lab
In the lab we will use the following tools: