Compositional verification of railway interlocking systems

DOI10.1145/3549736MaRDI QIDQ6610256zbMATH OpenFDO

Authors Anne Elisabeth Haxthausen, Alessandro Fantechi

Publication date 25 September 2024

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3549736

zbMATH Keywords

compositional verificationformal methodsinterlocking systemsrailwayssafety

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• Compositional reasoning
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)

This page was built for publication: Compositional verification of railway interlocking systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6610256)