Safety Analysis of Concurrent Systems

Project description

Finding errors in concurrent software

Fields of science

• natural sciences › computer and information sciences › software

Programme(s)

• H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)

Topic(s)

• ERC-2020-POC - Call for proposals for ERC Proof of Concept Grant

Call for proposal

ERC-2020-PoC
See other projects for this call

Funding Scheme

ERC-POC-LS - ERC Proof of Concept Lump Sum Pilot

Host institution

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

Address

Templergraben 55
52062 Aachen
Germany

Activity type

Higher or Secondary Education Establishments

EU contribution

€ 150 000

Beneficiaries (1)

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

Germany

EU contribution

€ 150 000

Address

Templergraben 55
52062 Aachen

Activity type

Higher or Secondary Education Establishments