Verification and Language Theory

Project Information

VERLAN

Grant agreement ID: 101027412

DOI

10.3030/101027412

Project closed

EC signature date 22 March 2021

Start date 1 September 2021

End date 26 August 2024

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 175 572,48

EU contribution

€ 175 572,48

Coordinated by

UNIVERSITEIT VAN AMSTERDAM
Netherlands

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

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Author(s): Wojciech Różowski, Tobias Kappé, Dexter Kozen, Todd Schmid, and Alexandra Silva
Published in: Proceedings of the International Colloquium on Automata, Languages, and Programming, ICALP 2023, 2023, Page(s) 136:1-136:20
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2023.136

A Categorical Framework for Learning Generalised Tree Automata

Author(s): Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Published in: Lecture Notes in Computer Science, Coalgebraic Methods in Computer Science, 2022, Page(s) 67-87
Publisher: Springer International Publishing
DOI: 10.1007/978-3-031-10736-8_4

Formal Abstractions for Packet Scheduling

Author(s): Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Published in: Proceedings of the ACM on Programming Languages, Issue 7, 2023, Page(s) 1338-1362, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3622845

Leapfrog: certified equivalence for protocol parsers

Author(s): Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Published in: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2023
Publisher: ACM
DOI: 10.1145/3519939.3523715

Concurrent NetKAT

Author(s): Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Published in: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Page(s) 575-602
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-99336-8_21

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Author(s): Tobias Kappé
Published in: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Page(s) 158-175
Publisher: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_10

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

Author(s): Tobias Kappé, Todd Schmid, Alexandra Silva
Published in: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Page(s) 309-336
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-30044-8_12