Community Research and Development Information Service - CORDIS

ERC

LiveSoft

Project reference: 617805
Funded under

Lightweight Verification of Software

From 2014-07-01 to 2019-06-30, ongoing project

Project details

Total cost:

EUR 1 999 320

EU contribution:

EUR 1 999 320

Coordinated in:

Germany

Call for proposal:

ERC-2013-CoGSee other projects for this call

Funding scheme:

ERC-CG - ERC Consolidator Grants

Objective

Related information

Open Access

Principal Investigator

Patrick Thomas Eugster
Tel.: +1 7654137764
Fax: +17654940739
E-mail

Host Institution

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

EU contribution: EUR 1 999 320


KAROLINENPLATZ 5
64289 DARMSTADT
Germany
Administrative contact: Melanie Meermann-Zimmermann
Tel.: +49 6151 16 75972
Fax: +49 6151 16 2478
E-mail

Beneficiaries

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

EU contribution: EUR 1 999 320


KAROLINENPLATZ 5
64289 DARMSTADT
Germany
Administrative contact: Melanie Meermann-Zimmermann
Tel.: +49 6151 16 75972
Fax: +49 6151 16 2478
E-mail

To know more

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