𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Toward a wider use of formal methods for aerospace systems design and verification

✍ Scribed by Yamine Ait Ameur; Frédéric Boniol; Virginie Wiels

Publisher
Springer
Year
2009
Tongue
English
Weight
135 KB
Volume
12
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

The formal derivation of parallel triang
The formal derivation of parallel triangular system solvers using a coordination-based design method
✍ Michel R.V. Chaudron; Arno C.N. van Duin 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 274 KB

We present an application of a method for the design of parallel programs that addresses the functional aspects and the operational aspects in separate phases. In the first phase, the functional aspects are specified using the Gamma model. This model encourages a specification with a minimum of cont