ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-Verified Components

Time: Monday, 28.10

Room: Room 2

Authors: Limbrée, Haxthausen, Gori, Fantechi

Abstract: