Case study: Formal verification of a computerized railway interlocking

DOI10.1007/S001650050021zbMATH Open1111.68499OpenAlexW2007808472MaRDI QIDQ1295867FDOQ1295867

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Automated validation and verification of railway specific components and systems.
• An algebraic approach to DC railway electrification verification
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)