Community Research and Development Information Service - CORDIS

ERC

CPROVER

Project ID: 280053
Funded under

Validation of Concurrent Software Across Abstraction Layers

From 2011-12-01 to 2017-11-30, closed project

Project details

Total cost:

EUR 1 368 355

EU contribution:

EUR 1 368 355

Coordinated in:

United Kingdom

Call for proposal:

ERC-2011-StG_20101014See other projects for this call

Funding scheme:

ERC-SG - ERC Starting Grant

Objective

Principal Investigator

Daniel Heinrich Friedrich Kroening
Tel.: +44 1865 283506
Fax: +44 1865 283506
E-mail

Host Institution

University College Dublin
United Kingdom

EU contribution: EUR 1 368 355


WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments
Administrative contact: Gill Wells
Tel.: +44 1865 289800
Fax: +44 1865 289801
E-mail

Beneficiaries

University College Dublin
United Kingdom

EU contribution: EUR 1 368 355


WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments
Administrative contact: Gill Wells
Tel.: +44 1865 289800
Fax: +44 1865 289801
E-mail

To know more

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top