Track chairs
Valentina Castiglioni (TU/e)
Rodrigo Otoni (RUG)
15:15-15:20 Introduction by the track chairs
15:20-15:38 Jore Booy (TU/e), A Complete Formal Specification and Verification of the BesW software
15:38 - 15:56 Calvin Terpstra (RU), Explainable Control Conditions in Supervisory Controller Synthesis
15:56-16:14 Invited talk - Jorge A. Pérez (RUG), Cyclic Structures in Programs and Proofs
More information about the Formal Methods track
