Master Informatique Vietnam
Formal Design
Year 2008/2009

Part 1 : Modelisation and Verification

• Documents.
  • AltaRica web site to download the arc tool.
  • Slides (pdf).
  • Slides for printing (pdf).
  • TDs Slides (pdf).
  • TDs Slides for printing (pdf).

Part 2 : Raffinement and proofs

• Lessons are given by Pierre Castéran

Much years

• Current year.
• ...
• Year 2007-2008.