Document is current
Any future updates will be listed below
-
Authors
Gruteser, Jan https://orcid.org/0009-0006-4228-404X
Leuschel, Michael https://orcid.org/0000-0002-4595-1518
Wunsch, Susanne https://orcid.org/0009-0000-0675-2930
- License Information
-
More Information
Chapter History
First Online: 6 February 2026
Dedication
: It is with pleasure that we dedicate this article to the Festschrift in honour of Alessandro Fantechi. His works promote the use of formal methods for railways and his surveys [ , , ] gave us valuable insights and feedback into the use of B and of our ProB tool for industrial applications.
