Home > Archives > DCS (Archive) > Projects
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
Contact | Site Map | Site powered by SPIP 3.2.19 + AHUNTSIC [CC License]
info visites 2042838