Евросоюз объявил 2021й годом железных дорог: https://europa.eu/year-of-rail/. При помощи разноцветных постеров еврократы ставят акценты на экологичности поездов и укреплении дружбы народов (она же "трансграничное сотрудничество"), но где-то на третьих-четвертых позициях мелькает и слово safety. Наиболее строгие гарантии безопасности даёт математика, что равносильно использованию формальных методов в инженерии, в частности формальной верификации. Используются ли такие вещи в железнодорожных целях, и если да, то как? Давайте начнём разбираться.