Automatic Synthesis of Software Verification Tools from Proof Rules

Project Information

VERISYNTH

Grant agreement ID: 308125

Project closed

Start date 1 December 2012

End date 30 November 2017

Funded under

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

Total cost € 1 476 561,60

EU contribution € 1 476 561,60

Coordinated by

TECHNISCHE UNIVERSITAET MUENCHEN
Germany