Model Checking a Distributed Interlocking System Using k-induction with RT-Tester

von Geisler, Signe
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

Formal Methods for Distributed Control Systems of Future Railways

von Fantechi, Alessandro
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

Formal Methods for Distributed Computing in Future Railway Systems

von Fantechi, Alessandro
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

Decomposing the Verification of Interlocking Systems

von Haxthausen, Anne E.
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

Compositional Verification of Railway Interlockings: Comparison of Two Methods

von Fantechi, Alessandro
Veröffentlicht in RSSRAIL (4. : 2022 : Paris) Reliability, safety, and security of railway systems (2022)

Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL

von Laursen, Per Lange
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2,...

Veröffentlicht 2022

Theoretical aspects of computing - ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 ; proceedings

Veröffentlicht 2008

Formal methods for industrial critical systems : 29th international conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings

Veröffentlicht 2024

Applicable formal methods for safe industrial products : essays dedicated to Jan Peleska on the occasion of his 65th birthday

Veröffentlicht 2023

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

von Seisenberger, Monika
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)