✦ LIBER ✦

Abstraction and Idealization in the Formal Verification of Software Systems

✍ Scribed by Nicola Angius

Book ID: 120750360
Publisher: Springer
Year: 2012
Tongue: English
Weight: 332 KB
Volume: 23
Category: Article
ISSN: 0924-6495
DOI: 10.1007/s11023-012-9289-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Control and data abstraction: the corner

Control and data abstraction: the cornerstones of practical formal verification

✍ Yonit Kesten; Amir Pnueli 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 331 KB

Improving the Trustworthiness of Medical

Improving the Trustworthiness of Medical Device Software with Formal Verification Methods

✍ Li, Chunxiao; Raghunathan, Anand; Jha, Niraj K. 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 636 KB

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Runtime Verification of Component-Based Systems

✍ Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 383 KB

Formal verification of real-time embedde

Formal verification of real-time embedded software in an object-oriented application framework

✍ Hsiung, P.-A.; Lee, T.-Y.; Fu, J.-M.; See, W.-B. 📂 Article 📅 2004 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 536 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