Formal methods for zero-defect aerospace software

Please see sub-projects for details

Colloquium on Principles of Verification
November 12, 2024
On the occasion of Joost-Pieter Katoen’s 60th birthday, a Colloquium on Principles of Verification was organised on November 7, 2024. It attracted more than 100 participants from all over the …
Paper at POPL 2025
November 12, 2024
The paper “A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests” by Lena Verscht and Benjamin Kaminski has been accepted …
Paper at Reachability Problems 2024
July 30, 2024
The paper “Markov Decision Processes with Sure Parity and Multiple Reachability Objectives” by Raphaël Berthon, Joost-Pieter Katoen and Tobias Winkler has been accepted for the 18th Int. Conference on Reachability …