International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Time: Monday, 28.10
Room: Room 2
Authors: Limbrée, Haxthausen, Gori, Fantechi
Slides: Formal_Verification_of_Railway_Interlockings_a_Compositional_Approach_Based_on_a_Library_of_Pre-Verified_Components-slides.pdf