Automatic Synthesis of Software Verification Tools from Proof Rules

Informacje na temat projektu

VERISYNTH

Identyfikator umowy o grant: 308125

Projekt został zamknięty

Data rozpoczęcia 1 Grudnia 2012

Data zakończenia 30 Listopada 2017

Finansowanie w ramach

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

Koszt całkowity € 1 476 561,60

Wkład UE € 1 476 561,60

Koordynowany przez

TECHNISCHE UNIVERSITAET MUENCHEN
Germany