Safety Analysis of Concurrent Systems

Informations projet

SAFE

N° de convention de subvention: 966733

DOI

10.3030/966733

Projet clôturé

Date de signature de la CE 15 Février 2021

Date de début 1 Avril 2021

Date de fin 30 Septembre 2022

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

Aucune donnée

Contribution de l’UE

€ 150 000,00

Coordonné par

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (1)

A Deterministic Memory Allocator for Dynamic Symbolic Execution

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