Proof Automation and Certification Tools for ubiquitous larges-scale Envirenements

Contact : Sebastien.tixeuil (at) nulllip6.fr
From 10/01/2009 to 12/31/2012

PACTOLE is a proposal for the DIM "logiciels et systèmes complexes" of région Ile de France.

IMDEA, Université Nancy 1, CNAM, LRI, ENSIIE
ANR

Sebastien TIXEUIL