Accueil > Archives > DCS (Archive) > Projets
VERIDYC
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 :
Documents joints
info document : PDF
550 kio
info document : Texte
5.5 kio
D1
info document : PDF
262.5 kio
