๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Control and data abstraction: the cornerstones of practical formal verification

โœ Scribed by Yonit Kesten; Amir Pnueli

Book ID
106245617
Publisher
Springer
Year
2000
Tongue
English
Weight
331 KB
Volume
2
Category
Article
ISSN
1433-2779

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