Automatic Synthesis of Software Verification Tools from Proof Rules

Projektinformationen

VERISYNTH

ID Finanzhilfevereinbarung: 308125

Projekt abgeschlossen

Startdatum 1 Dezember 2012

Enddatum 30 November 2017

Finanziert unter

• Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Gesamtkosten € 1 476 561,60

EU-Beitrag € 1 476 561,60

Koordiniert durch

TECHNISCHE UNIVERSITAET MUENCHEN
Germany