Conference item
Sound numerical computations in abstract acceleration
- Abstract:
-
Soundness is a major objective for verification tools. Methods that use exact arithmetic or symbolic representations are often prohibitively slow and do not scale past small examples. We propose the use of numerical oating-point computations to improve performance combined with an interval analysis to ensure soundness in reach-set computations for numerical dynamical models. Since the interval analysis cannot provide exact answers we reason about over-approximations of the reachable sets tha...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Accepted manuscript, pdf, 389.5KB)
-
- Publisher copy:
- 10.1007/978-3-319-63501-9_4
Authors
Funding
Oxford Instruments PLC
More from this funder
Alan Turing Institute, London, UK
More from this funder
Bibliographic Details
- Publisher:
- Springer Verlag Publisher's website
- Journal:
- NSV 2017: 10th International Workshop on Numerical Software Verification 2017, Heidelberg, Germany, July 22-23, 2017 Journal website
- Volume:
- 10381
- Pages:
- 38-60
- Host title:
- Numerical Software Verification. NSV 2017. Lecture Notes in Computer Science
- Publication date:
- 2017-07-12
- Acceptance date:
- 2017-05-26
- DOI:
- ISSN:
-
0302-9743
- Source identifiers:
-
701185
- ISBN:
- 9783319635019
Item Description
- Pubs id:
-
pubs:701185
- UUID:
-
uuid:69245401-e33b-4f2a-884e-0b33dee0bed2
- Local pid:
- pubs:701185
- Deposit date:
- 2017-06-17
Terms of use
- Copyright holder:
- © Springer International Publishing AG 2017
- Copyright date:
- 2017
- Notes:
- This is the author accepted manuscript following peer review version of the article. The final version is available online from Springer Verlag at: 10.1007/978-3-319-63501-9_4
If you are the owner of this record, you can report an update to it here: Report update to this record