Automatic verification of safety rules for a subway control software

MaRDI QIDQ2848456zbMATH OpenFDO

Authors Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002288

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Traffic problems in operations research (90B20)

Recommendations

• A formal approach for the construction and verification of railway control systems
• A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
• Formal verification of safety protocol in train control system
• Case study: Formal verification of a computerized railway interlocking
• Software model checking

Cited in

(2)

• Formal verification of safety protocol in train control system
• scientific article; zbMATH DE number 2086584 (Why is no real title available?)

This page was built for publication: Automatic verification of safety rules for a subway control software

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