A refinement-based approach to deriving train controllers

MaRDI QIDQ2751760zbMATH OpenFDO

Authors Deepak Kapur, Raymond S. Berg, Victor L. Winter

Publication date 11 April 2002

zbMATH Keywords

algorithmic specificationrewrite-based transformation systems

Mathematics Subject Classification ID

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

Recommendations

• A system-based approach to the formal development of embedded controllers for a railway
• On the construction of a domain language for a class of reactive systems
• Constructing correct software. The basics
• A formal approach for the construction and verification of railway control systems
• Systematic validation of a relational control program for the bay area rapid transit system

Cited in

(5)

• A system-based approach to the formal development of embedded controllers for a railway
• Bay area rapid transit district advanced automated train control system -- case study description
• On the construction of a domain language for a class of reactive systems
• Systematic validation of a relational control program for the bay area rapid transit system
• scientific article; zbMATH DE number 7598161 (Why is no real title available?)

This page was built for publication: A refinement-based approach to deriving train controllers

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