Automated Probabilistic Black-Box Verification

Project Information

AutoProbe

Grant agreement ID: 101002697

DOI

10.3030/101002697

EC signature date 4 February 2021

Start date 1 April 2021

End date 31 March 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 2 000 000,00

EU contribution

€ 2 000 000,00

Coordinated by

UNIVERSITY COLLEGE LONDON
United Kingdom

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (16)

Processes Parametrised by an Algebraic Theory

Author(s): Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Published in: 2022
Publisher: Dagstuhl
DOI: 10.4230/lipics.icalp.2022.132

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Author(s): Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra
Published in: 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, Issue 4, 2023
Publisher: LIPICS
DOI: 10.4230/lipics.icalp.2023.136

Generators and Bases for Monadic Closures

Author(s): Zetzsche, Stefan; Silva, Alexandra; Sammartino, Matteo
Published in: Issue 11, 2023
Publisher: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2010.10223

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

Author(s): Schmid, Todd; Kappé, Tobias; Silva, Alexandra; Wies, Thomas
Published in: Programming Languages and Systems ISBN: 9783031300431, Issue 4, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-30044-8_12

A Complete Diagrammatic Calculus for Automata Simulation

Author(s): Antoine, Thibaut; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Published in: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Issue 16, 2025
Publisher: Leibniz International Proceedings in Informatics (LIPIcs)

On Iteration in Discrete Probabilistic Programming

Author(s): Torres-Ruiz, Mateo; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Published in: Issue 15, 2024
Publisher: Leibniz International Proceedings in Informatics (LIPIcs)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques

Author(s): D'Angelo, Keri; Gurke, Sebastian; Kirss, Johanna Maria; König, Barbara; Najafi, Matina; Różowski, Wojciech; Wild, Paul
Published in: Issue 17, 2024
Publisher: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2404.19632

Prognosis: Closed-Box Analysis of Network Protocol Implementations

Author(s): Tiago Ferreira, Harrisson Brewton, Loris D'Antoni, Alexandra Silva
Published in: 2021
Publisher: arxiv
DOI: 10.48550/arxiv.2201.02577

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

Author(s): Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Published in: 2022
Publisher: Springer
DOI: 10.48550/arxiv.2201.10485

Processes Parametrised by an Algebraic Theory

Author(s): Schmid, Todd; Różowski, Wojciech; Rot, Jurriaan; Silva, Alexandra
Published in: Bojanczyk, M. (ed.), ICALP 2022: 49th International Colloquium on Automata, Languages, and Programming, pp. 132:1-132:20, Issue 10, 2022
Publisher: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2202.06901

On Star Expressions and Coalgebraic Completeness Theorems

Author(s): Schmid, Todd; Rot, Jurriaan; Silva, Alexandra
Published in: Issue 11, 2021
Publisher: ArXiv
DOI: 10.48550/arxiv.2106.08074

A Complete Inference System for Probabilistic Infinite Trace Equivalence

Author(s): Cîrstea, Corina; Moss, Lawrence S.; Noquez, Victoria; Schmid, Todd; Silva, Alexandra; Sokolova, Ana
Published in: Issue 21, 2025
Publisher: Leibniz International Proceedings in Informatics (LIPIcs

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

Author(s): Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Published in: 2021
Publisher: Dagstuhl
DOI: 10.4230/lipics.icalp.2021.142

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions

Author(s): Różowski, Wojciech
Published in: Issue 12, 2024
Publisher: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.48550/arxiv.2404.13352

A Bunched Logic for Conditional Independence

Author(s): Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, Page(s) 1-14
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470712

Guarded Kleene Algebra with Tests: Automata Learning

Author(s): Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Published in: 2022
Publisher: Arxiv
DOI: 10.48550/arxiv.2204.14153

Other (1)

Tree-Based Adaptive Model Learning

Author(s): Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Published in: 2022
Publisher: Arxiv
DOI: 10.48550/arxiv.2209.00122

Peer reviewed articles (4)

ProbNV: probabilistic verification of network control planes

Author(s): Nick Giannarakis, Alexandra Silva, David Walker
Published in: Proceedings of the ACM on Programming Languages, Issue 5, 2025, Page(s) 1-30, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3473595

Distribution Bisimilarity via the Power of Convex Algebras

Author(s): Filippo Bonchi, Alexandra Silva, Ana Sokolova
Published in: Logical Methods in Computer Science, Issue Volume 17, Issue 3, 2023, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-17(3:10)2021

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

Author(s): Noam Zilberstein, Angelina Saliling, Alexandra Silva
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2025, Page(s) 276-304, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3649821

Active Learning of Symbolic NetKAT Automata

Author(s): Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
Published in: Proceedings of the ACM on Programming Languages, Issue 9, 2025, Page(s) 1119-1142, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3729295

Book chapters (1)

Correct and Complete Symbolic Execution for Free

Author(s): Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
Published in: Lecture Notes in Computer Science, Integrated Formal Methods, 2025, Page(s) 237-255
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76554-4_13