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ženo v:
| Vydáno v: | Formal Methods Applied to Complex Systems: Implementation of the B Method s. 391 - 425 |
|---|---|
| Hlavní autor: | |
| Médium: | Kapitola |
| Jazyk: | angličtina |
| Vydáno: |
Hoboken, NJ, USA
John Wiley & Sons, Inc
26.06.2014
|
| Témata: | |
| ISBN: | 1848217099, 9781848217096 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!