The present deliverables have been written according to fixed guidelines. This year, the unique deliverable (Deliverable 1) on case studies was provided by the users (Schneider Electric, SAAB-MA, and EDF), based on the results of all partners. Apart from that deliverable, each deliverable was under the coordination of one partner, with the participation of various other partners:
Deliverable Coordinator Involved Partners 0.1.3 Inria-Spectre All 0.2.3 Inria-Spectre All 1 Schneider, SAAB, EDF All 2.3 GMD GMD, Inria (all) 3.1.3 Inria-Meije Inria (all) 3.2.3 Prover Technology Prover Technology 3.3.3 Inria-Spectre Inria-Spectre 3.4.3 Inria-Spectre Inria-Spectre 3.5.3 Inria-Spectre Inria-Spectre 4/5.1.3 Inria-EpAtr Inria-EpAtr 4/5.2.3 Inria-EpAtr Inria-EpAtr 4/5.3.3 Inria-EpAtr Inria-EpAtr 4/5.4.3 Inria-Meije Inria-Meije 6.1.3 Inria-EpAtr Inria-EpAtr, Inria-Meije 6.2.3 Inria-EpAtr Inria-EpAtr 7.3 Linkoping Linkoping