Formal verification of a railway interlocking system using model checking
From MaRDI portal
Publication:1295868
DOI10.1007/S001650050022zbMATH Open1086.68556DBLPjournals/fac/CimattiGMRTT98OpenAlexW1985665832WikidataQ62041460 ScholiaQ62041460MaRDI QIDQ1295868
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/s001650050022
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
A logic approach to decision taking in a railway interlocking system using Maple ⋮ A logic-algebraic approach to decision taking in a railway interlocking system ⋮ Automated Verification of Signalling Principles in Railway Interlocking Systems ⋮ Formal verification of safety protocol in train control system
Uses Software
This page was built for publication: Formal verification of a railway interlocking system using model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295868)
