The mechanical verification of solid state interlocking geographic data

MaRDI QIDQ4370267zbMATH OpenFDO

Authors Andrew Simpson, Jim Woodcock, James E. Davies

Publication date 20 April 1998

zbMATH Keywords

communication sequential processes

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Recommendations

• Efficient data validation for geographical interlocking systems
• Numerical Software with Result Verification
• scientific article; zbMATH DE number 3990726
• scientific article; zbMATH DE number 1872152
• Strong geodetic problem in grid-like architectures
• Robustness analysis of geodetic horizontal networks.
• scientific article; zbMATH DE number 1210898

Cited in

(3)

• Case study: Formal verification of a computerized railway interlocking
• Efficient data validation for geographical interlocking systems
• Towards an integrated model checker for railway signalling data

This page was built for publication: The mechanical verification of solid state interlocking geographic data

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