Automated Probabilistic Black-Box Verification

Informacje na temat projektu

AutoProbe

Identyfikator umowy o grant: 101002697

DOI

10.3030/101002697

Data podpisania przez KE 4 Lutego 2021

Data rozpoczęcia 1 Kwietnia 2021

Data zakończenia 31 Marca 2026

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 2 000 000,00

Wkład UE

€ 2 000 000,00

Koordynowany przez

UNIVERSITY COLLEGE LONDON
United Kingdom

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (7)

Processes Parametrised by an Algebraic Theory

Autorzy: Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Opublikowane w: 2022
Wydawca: Dagstuhl
DOI: 10.4230/lipics.icalp.2022.132

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Autorzy: Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra
Opublikowane w: 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, Numer 4, 2023
Wydawca: LIPICS
DOI: 10.4230/lipics.icalp.2023.136

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

Autorzy: Schmid, Todd; Kappé, Tobias; Silva, Alexandra; Wies, Thomas
Opublikowane w: Programming Languages and Systems ISBN: 9783031300431, Numer 4, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-30044-8_12

Prognosis: Closed-Box Analysis of Network Protocol Implementations

Autorzy: Tiago Ferreira, Harrisson Brewton, Loris D'Antoni, Alexandra Silva
Opublikowane w: 2021
Wydawca: arxiv
DOI: 10.48550/arxiv.2201.02577

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

Autorzy: Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Opublikowane w: 2022
Wydawca: Springer
DOI: 10.48550/arxiv.2201.10485

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

Autorzy: Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Opublikowane w: 2021
Wydawca: Dagstuhl
DOI: 10.4230/lipics.icalp.2021.142

Guarded Kleene Algebra with Tests: Automata Learning

Autorzy: Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Opublikowane w: 2022
Wydawca: Arxiv
DOI: 10.48550/arxiv.2204.14153

Other (1)

Tree-Based Adaptive Model Learning

Autorzy: Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Opublikowane w: 2022
Wydawca: Arxiv
DOI: 10.48550/arxiv.2209.00122