PV4 PAF: Probabilistic Analysis of Floating-point computationscomputers sound but tight probabilistic bounds to roundoff errors in arithmetic expressions

Application domain/field

Expected input

Description of a probabilistic floating-point computation and its input distributions

Format:

Text file with own input format

Internals

Supports Z3 and dReal.

Comments

License: MIT
Floating point

Links

Repository: https://github.com/soarlab/paf

Last commit date

7 December 2021

Related papers

https://doi.org/10.1007/978-3-030-81688-9_29 (CAV '21)

Last publication date

15 July 2021

Related tools

Tools that focus on roundoff errors: FPTaylor, PrAn.

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.