Efficient data validation for geographical interlocking systems

DOI10.1007/s00165-021-00551-6OpenAlexW4241934014MaRDI QIDQ2065531

Jan Peleska, Ralf Pinger, Niklas Krafczyk, Anne Elisabeth Haxthausen

Publication date: 11 January 2022

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

Full work available at URL: https://doi.org/10.1007/s00165-021-00551-6

zbMATH Keywords

model checkingdata validationLTLCTLinterlocking systems

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Safety, liveness and fairness in temporal logic
• Stepwise development and model checking of a distributed interlocking system -- using RAISE
• Counting CTL
• Linear Encodings of Bounded LTL Model Checking