Conference item icon

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:
Publisher copy:
10.1007/978-3-319-63501-9_4

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Oxford Instruments PLC More from this funder
Alan Turing Institute, London, UK More from this funder
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
Pubs id:
pubs:701185
UUID:
uuid:69245401-e33b-4f2a-884e-0b33dee0bed2
Local pid:
pubs:701185
Deposit date:
2017-06-17

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP