Verimag

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:

https://sites.google.com/site/veridyc


titre documents joints

22 March 2012
info document : PDF
550 kb

9 February 2012
info document : Texte
5.5 kb

D1

14 January 2011
info document : PDF
262.5 kb

Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 703172