✦ LIBER ✦

A Formal Verification Environment for Railway Signaling System Design

✍ Scribed by Cinzia Bernardeschi; Alessandro Fantechi; Stefania Gnesi; Salvatore Larosa; Giorgio Mongardi; Dario Romano

Book ID: 110264628
Publisher: Springer
Year: 1998
Tongue: English
Weight: 316 KB
Volume: 12
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008645826258

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification for Embedded System

Formal Verification for Embedded System Designs

✍ Xi Chen; Harry Hsieh; Felice Balarin; Yosinori Watanabe 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 140 KB

Formal Verification of a Railway Interlo

Formal Verification of a Railway Interlocking System using Model Checking

✍ A. Cimatti; F. Giunchiglia; G. Mongardi; D. Romano; F. Torielli; P. Traverso 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 130 KB

Formal development and verification of a

Formal development and verification of a distributed railway control system

✍ Haxthausen, A.E.; Peleska, J. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 275 KB

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

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

Formal verification of analog and mixed

Formal verification of analog and mixed signal designs: A survey

✍ Mohamed H. Zaki; Sofiène Tahar; Guy Bois 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 273 KB