Case study: Formal verification of a computerized railway interlocking

DOI10.1007/S001650050021MaRDI QIDQ1295867zbMATH OpenOpenAlexFDO

Authors Arne Borälv

Publication date 26 July 1999

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

Full work available at URL https://doi.org/10.1007/s001650050021

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal verification of a railway interlocking system using model checking
• Automated Verification of Signalling Principles in Railway Interlocking Systems
• scientific article; zbMATH DE number 1324647
• Automated validation and verification of railway specific components and systems.
• scientific article; zbMATH DE number 1104386

Cited in

(10)

• An algebraic approach to DC railway electrification verification
• Automated validation and verification of railway specific components and systems.
• Automatic verification of safety rules for a subway control software
• A logic approach to decision taking in a railway interlocking system using Maple
• First order Stålmarck. Universal lemmas through branch merges
• A logic-algebraic approach to decision taking in a railway interlocking system
• An approach from answer set programming to decision making in a railway interlocking system
• scientific article; zbMATH DE number 2033512 (Why is no real title available?)
• scientific article; zbMATH DE number 1629970 (Why is no real title available?)
• scientific article; zbMATH DE number 2090138 (Why is no real title available?)

This page was built for publication: Case study: Formal verification of a computerized railway interlocking

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