Community Research and Development Information Service - CORDIS

Type and Proof Structures for Concurrent Software Verification

From 2017-04-01 to 2022-03-31, ongoing project

Project details

Total cost:

EUR 1 999 895

EU contribution:

EUR 1 999 895

Coordinated in:

Spain

Call for proposal:

ERC-2016-COGSee other projects for this call

Funding scheme:

ERC-COG - Consolidator Grant

Objective

Host Institution

FUNDACION IMDEA SOFTWARE
Spain

EU contribution: EUR 1 999 895


CAMPUS DE MONTEGANCEDO SN
28223 POZUELO DE ALARCON
Spain
Activity type: Research Organisations

Contact the organisation

Beneficiaries

FUNDACION IMDEA SOFTWARE
Spain

EU contribution: EUR 1 999 895


CAMPUS DE MONTEGANCEDO SN
28223 POZUELO DE ALARCON
Spain
Activity type: Research Organisations

Contact the organisation

To know more

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