Proof Automation and Certification Tools for ubiquitous larges-scale Envirenements
Contact : Sebastien.tixeuil (at) nulllip6.frFrom 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, ENSIIEANR
Sebastien TIXEUIL