B Extended to Floating‐Point Numbers: Is it Sufficient for Proving Avionics Software?

In the railway sector, the economic balance between test and proof is neutral: it has not been proven that B reduces costs, but it clearly reduces technical risk and increases confidence levels. In the future, in avionics, in order to maintain this balance, the introduction of formal methods must be...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal Methods Applied to Complex Systems: Implementation of the B Method S. 391 - 425
1. Verfasser:	Dufour, Jean‐Louis
Format:	Buchkapitel
Sprache:	Englisch
Veröffentlicht:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Schlagworte:	AtelierB prototype avionics floating‐point numbers
ISBN:	1848217099, 9781848217096
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!