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...
Uložené v:
| Vydané v: | Formal Methods Applied to Complex Systems: Implementation of the B Method s. 391 - 425 |
|---|---|
| Hlavný autor: | |
| Médium: | Kapitola |
| Jazyk: | English |
| Vydavateľské údaje: |
Hoboken, NJ, USA
John Wiley & Sons, Inc
26.06.2014
|
| Predmet: | |
| ISBN: | 1848217099, 9781848217096 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!