Automated Probabilistic Black-Box Verification

Informations projet

AutoProbe

N° de convention de subvention: 101002697

DOI

10.3030/101002697

Date de signature de la CE 4 Février 2021

Date de début 1 Avril 2021

Date de fin 31 Mars 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 000 000,00

Contribution de l’UE

€ 2 000 000,00

Coordonné par

UNIVERSITY COLLEGE LONDON
United Kingdom

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 (7)

Processes Parametrised by an Algebraic Theory

Auteurs: Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Publié dans: 2022
Éditeur: Dagstuhl
DOI: 10.4230/lipics.icalp.2022.132

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Auteurs: Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra
Publié dans: Różowski , W , Kappé , T , Kozen , D , Schmid , T & Silva , A 2023 , Probabilistic Guarded KAT Modulo Bisimilarity : Completeness and Complexity . in K Etessami , U Feige & G Puppis (eds) , 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 . vol. 261 , 136 , Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , Leibniz International Proceed, Numéro 4, 2023
Éditeur: LIPICS
DOI: 10.4230/lipics.icalp.2023.136

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

Auteurs: Schmid, Todd; Kappé, Tobias; Silva, Alexandra; Wies, Thomas
Publié dans: Programming Languages and Systems ISBN: 9783031300431, Numéro 4, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-30044-8_12

Prognosis: Closed-Box Analysis of Network Protocol Implementations

Auteurs: Tiago Ferreira, Harrisson Brewton, Loris D'Antoni, Alexandra Silva
Publié dans: 2021
Éditeur: arxiv
DOI: 10.48550/arxiv.2201.02577

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

Auteurs: Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Publié dans: 2022
Éditeur: Springer
DOI: 10.48550/arxiv.2201.10485

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness

Auteurs: Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Publié dans: 2021
Éditeur: Dagstuhl
DOI: 10.4230/lipics.icalp.2021.142

Guarded Kleene Algebra with Tests: Automata Learning

Auteurs: Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Publié dans: 2022
Éditeur: Arxiv
DOI: 10.48550/arxiv.2204.14153

Other (1)

Tree-Based Adaptive Model Learning

Auteurs: Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Publié dans: 2022
Éditeur: Arxiv
DOI: 10.48550/arxiv.2209.00122