The present deliverables have been written according to fixed guidelines. Each of them was under the coordination of one partner, with the participation of various other partners:
Deliverable Coordinator Involved Partners 0.1.2 Inria-Spectre All 0.2.2 Inria-Spectre All 2.2 GMD GMD, Inria (all) 3.1.2 Inria-Meije Inria (all) 3.2.2 Prover Technology Prover Technology 3.3.2 Inria-Spectre Inria-Spectre 3.4.2 Inria-Spectre Inria-Spectre 3.5.2 Inria-Spectre Inria-Spectre 4/5.1.2 Inria-EpAtr Inria-EpAtr 4/5.2.2 Inria-EpAtr Inria-EpAtr 4/5.3.2 Inria-EpAtr Inria-EpAtr 4/5.4.2 Inria-Meije Inria-Meije 6.1.2 Inria-EpAtr Inria-EpAtr, Inria-Meije 6.2.2 Inria-EpAtr Inria-EpAtr 7.2 Linkoping Linkoping
Notice that, during this year, Logikkonsult changed its name into "Prover Technology".