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


Attached documents

22 March 2012
info document : PDF
550 KiB

9 February 2012
info document : Texte
5.5 KiB

D1

14 January 2011
info document : PDF
262.5 KiB