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 mars 2012
info document : PDF
550 ko

9 février 2012
info document : Texte
5.5 ko

D1

14 janvier 2011
info document : PDF
262.5 ko

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 913937