Stepwise development and model checking of a distributed interlocking system -- using RAISE

DOI10.1007/978-3-319-95582-7_16zbMath1460.68060OpenAlexW3104310390MaRDI QIDQ2024351

S. Geisler, Anne Elisabeth Haxthausen

Publication date: 4 May 2021

Full work available at URL: https://backend.orbit.dtu.dk/ws/files/197983632/fm2018published.pdf

zbMATH Keywords

distributed systemsmodel checkingrailway interlocking systemsRAISEstepwise development

Mathematics Subject Classification ID

Traffic problems in operations research (90B20) Specification and verification (program logics, model checking, etc.) (68Q60) Networked control (93B70)

Related Items (2)

Stepwise development and model checking of a distributed interlocking system using RAISE ⋮ Efficient data validation for geographical interlocking systems

Cites Work

• Unnamed Item
• Model checking RAISE applicative specifications

This page was built for publication: Stepwise development and model checking of a distributed interlocking system -- using RAISE