Exploring approximations for floating-point arithmetic using UppSAT

DOI10.1007/978-3-319-94205-6_17OpenAlexW2963355442MaRDI QIDQ1799086

Peter Backeman, Philipp Rümmer, Christoph M. Wintersteiger, Aleksandar Zeljić

Publication date: 18 October 2018

Full work available at URL: https://arxiv.org/abs/1711.08859

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Optimization modulo the theories of signed bit-vectors and floating-point numbers ⋮ Optimization modulo the theory of floating-point numbers ⋮ An SMT theory of fixed-point arithmetic

Uses Software

• Coq
• Gappa
• z3
• HOL Light
• dReal
• MathSAT5
• ASTREE
• UppSAT
• XSat
• SONOLAR

This page was built for publication: Exploring approximations for floating-point arithmetic using UppSAT