View in EDS HTML Full Text PDF Full Text

Scaling model checking of railway interlocking systems by safe automated decomposition.

Saved in:
Bibliographic Details
Title: Scaling model checking of railway interlocking systems by safe automated decomposition.
Authors: Haxthausen, Anne E.1 (AUTHOR) aeha@dtu.dk, Fantechi, Alessandro2 (AUTHOR) alessandro.fantechi@unifi.it, Gori, Gloria2 (AUTHOR) gloria.gori@unifi.it, Petersen, Sofie-Amalie1 (AUTHOR) petersen@gmail.com, Mikkelsen, Óli Kárason1 (AUTHOR) k.mik@gmail.com
Source: EUROPEAN Transport Research Review. 6/11/2026, Vol. 18 Issue 1, p1-17. 17p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:18670717
DOI:10.1186/s12544-026-00798-1