𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Case Study: Formal Verification of a Computerized Railway Interlocking

✍ Scribed by Arne Borälv

Publisher
Springer
Year
1998
Tongue
English
Weight
845 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

Verification of landslide susceptibility
Verification of landslide susceptibility mapping: a case study
✍ Fernández, Clemente Irigaray; Del Castillo, Tomás Fernández; Hamdouni, Rachid El 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 404 KB 👁 1 views

A methodology is proposed for mapping susceptibility to landsliding and validating the results. Heavy rains in late 1996 and early 1997 led to a large number of landslides in the Rute sector (Co rdoba, Southern Spain), where landslide susceptibility mapping had previously been carried out using a `

A study about the efficiency of formal h
A study about the efficiency of formal high-level synthesis applied to verification
✍ José M. Mendı́as; Román Hermida; Olga Peñalba 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 643 KB

The use of a formal synthesis system is proposed as an efficient alternative for the formal verification of RT-level circuits obtained from algorithmic-level specifications by high-level synthesis (HLS) tools. The goal of the proposal is to recreate, within the formal synthesis system, any design pr