Initiation à la vérification
Basics of Verification

Paul Gastin

Stages de recherche / Research internships

  1. Verification of concurrent systems with data structures
  2. Probabilistic specifications
  3. Synthesis of Distributed Systems with Parameterized Network Topology

Supports de cours / Lecture notes

The main web page for this lecture is here.

2013/2014

2012/2013

2011/2012

2010/2011

2009/2010

About LSV