𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Verification of a Railway Interlocking System using Model Checking

✍ Scribed by A. Cimatti; F. Giunchiglia; G. Mongardi; D. Romano; F. Torielli; P. Traverso

Publisher
Springer
Year
1998
Tongue
English
Weight
130 KB
Volume
10
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A formal approach for the construction a
A formal approach for the construction and verification of railway control systems
✍ Anne E. Haxthausen; Jan Peleska; Sebastian Kinder πŸ“‚ Article πŸ“… 2009 πŸ› Springer 🌐 English βš– 660 KB

## Abstract This paper describes a complete model-based development and verification approach for railway control systems. For each control system to be generated, the user makes a description of the application-specific parameters in a domain-specific language. This description is automatically tr