English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions

Bard, J., Becker, H., & Darulova, E. (2019). Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. In M. H. ter Beek, A. McIver, & J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years (pp. 38-44). Cham: Springer. doi:10.1007/978-3-030-30942-8_4.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0005-D53C-8 Version Permalink: https://hdl.handle.net/21.11116/0000-0005-D53D-7
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Bard, Joachim1, Author
Becker, Heiko2, Author           
Darulova, Eva2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society, ou_2541697              

Content

show
hide
Free keywords: -
 Abstract: When compared to idealized, real-valued arithmetic, finite precision arithmetic introduces unavoidable errors, for which numerous tools compute sound upper bounds. To ensure soundness, providing formal guarantees on these complex tools is highly valuable.

Details

show
hide
Language(s): eng - English
 Dates: 20192019
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: BeckerSMT2019
DOI: 10.1007/978-3-030-30942-8_4
 Degree: -

Event

show
hide
Title: 23rd Symposium on Formal Method
Place of Event: Porto, Portugal
Start-/End Date: 2019-10-07 - 2019-10-11

Legal Case

show

Project information

show

Source 1

show
hide
Title: Formal Methods - The Next 30 Years
  Subtitle : Maurice H. ter BeekAnnabelle McIverJosé N. Oliveira (Eds.)Third World Congress, FM 2019Porto, Portugal, October 7–11, 2019Proceedings
  Abbreviation : FM 2019
Source Genre: Proceedings
 Creator(s):
ter Beek, Maurice H.1, Editor
McIver, Annabelle1, Editor
Oliveira, José N.1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Cham : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 38 - 44 Identifier: ISBN: 978-3-030-30942-8

Source 2

show
hide
Title: Lecture Notes in Computer Scinece
  Abbreviation : LNCS
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 11800 Sequence Number: - Start / End Page: - Identifier: -