ANR-09-SEGI-016, 2009-2012

The goal of this project is the verification of C programs that are used to control safety-critical systems, such as airplanes, subway lines or power plants.

The official VERIDYC project website:

titre documents joints

22 March 2012
info document : PDF
550 kb

9 February 2012
info document : Texte
5.5 kb


14 January 2011
info document : PDF
262.5 kb