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...
Saved in:
| Published in: | Formal Methods Applied to Complex Systems: Implementation of the B Method pp. 391 - 425 |
|---|---|
| Main Author: | |
| Format: | Book Chapter |
| Language: | English |
| Published: |
Hoboken, NJ, USA
John Wiley & Sons, Inc
26.06.2014
|
| Subjects: | |
| ISBN: | 1848217099, 9781848217096 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!