Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

ERC

VeriSynth

Project reference: 308125
Funded under

Automatic Synthesis of Software Verification Tools from Proof Rules

From 2012-12-01 to 2017-11-30, Grant Agreement terminated

Project details

Total cost:

EUR 1 476 561,6

EU contribution:

EUR 1 476 561,6

Coordinated in:

Germany

Call for proposal:

ERC-2012-StG_20111012See other projects for this call

Funding scheme:

ERC-SG - ERC Starting Grant

Objective

Related information

Open Access

Principal Investigator

Andrey Rybalchenko
Tel.: +498928917209
Fax: +498928917207
E-mail

Host Institution

TECHNISCHE UNIVERSITAET MUENCHEN
Germany

EU contribution: EUR 1 476 561,6


Arcisstrasse 21
80333 MUENCHEN
Germany
Administrative contact: Ulrike Ronchetti
Tel.: +498928922616
Fax: +498928922620
E-mail

Beneficiaries

TECHNISCHE UNIVERSITAET MUENCHEN
Germany

EU contribution: EUR 1 476 561,6


Arcisstrasse 21
80333 MUENCHEN
Germany
Administrative contact: Ulrike Ronchetti
Tel.: +498928922616
Fax: +498928922620
E-mail

To know more

Record Number: 104443 / Last updated on: 2016-03-31