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
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-63501-9_4

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
More by this author
Department:
Oxford, MPLS, Computer Science
Schrammel, P More by this author
More by this author
Department:
Oxford, MPLS, Computer Science
Oxford Instruments PLC More from this funder
Alan Turing Institute, London, UK More from this funder
Publisher:
Springer Verlag Publisher's website
Volume:
10381
Pages:
38-60
Publication date:
2017-07-12
Acceptance date:
2017-05-26
DOI:
ISSN:
0302-9743
Pubs id:
pubs:701185
URN:
uri:69245401-e33b-4f2a-884e-0b33dee0bed2
UUID:
uuid:69245401-e33b-4f2a-884e-0b33dee0bed2
Local pid:
pubs:701185
ISBN:
978-3-319-63501-9

Terms of use


Metrics



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

TO TOP