Lecture on "Advanced Model Checking for Verification and Safety Assessment"

Part of the Sixth Summer School on Formal Techniques (SSFT16)

General information

  • Location: Menlo College, Atherton, CA
  • Dates: May 22-27, 2016

Slides

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

Tools

In the lab we will use the following tools: