Master Informatique Vietnam
Formal Design
Year 2007/2008

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).
• Exam.
  • The subject (ps.gz).
  • A correction (ps.gz).

Part 2 : Raffinement and proofs

• Lessons are given by Pierre Castéran

Much years

• Current year.
• ...