Safety Analysis of Concurrent Systems

Informazioni relative al progetto

SAFE

ID dell’accordo di sovvenzione: 966733

DOI

10.3030/966733

Progetto chiuso

Data della firma CE 15 Febbraio 2021

Data di avvio 1 Aprile 2021

Data di completamento 30 Settembre 2022

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

Nessun dato

Contributo UE

€ 150 000,00

Coordinato da

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (1)

A Deterministic Memory Allocator for Dynamic Symbolic Execution

Autori: Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
Pubblicato in: 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
Editore: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2022.9