A three-tier strategy for reasoning about floating-point numbers in SMT (Q2164244)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7571388
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A three-tier strategy for reasoning about floating-point numbers in SMT |
scientific article; zbMATH DE number 7571388 |
Statements
A three-tier strategy for reasoning about floating-point numbers in SMT (English)
0 references
12 August 2022
0 references
SMT
0 references
floating-point arithmetic
0 references
program verification
0 references
0.7676745057106018
0 references
0.73566734790802
0 references
0.7320381999015808
0 references
0.7250365018844604
0 references
0.703478991985321
0 references
