Home > Archives > DCS (Archive) > Projects
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:
Attached documents
info document : PDF
550 KiB
info document : Texte
5.5 KiB
D1
info document : PDF
262.5 KiB
