Latest News

Project Deliverables

Deliverable Name Delivery Date
D1.5 Project Information Management Submitted July 31, 2010
D2.1 Analysis of Evolution of the State of the Art in Academia and in Industry Submitted October 31, 2010
D8.1 PINCETTE Website and Poster Poster was presented at FMCAD 2010
D1.1 Project quality plan Submitted December 31, 2010
D2.2 Requirements analysis - Restricted to the members of the consortium Submitted December 31, 2010
D2.3 Plan of the validation cases - Restricted to the members of the consortium Submitted March 31, 2011
D3.1 Prototype tool for model extraction customized for validators environment - Restricted to the members of the consortium Submitted March 31, 2011
D5.1 Problematic Program Constructs Submitted June 31, 2011
D6.1 Initial Methodology Report Submitted June 31, 2011
D6.4 API between the Analysis Tools and the front-end - Restricted to the members of the consortium D6.4 Submitted December 31, 2010