scientific article; zbMATH DE number 1485863
From MaRDI portal
Publication:4494691
zbMath0966.68023MaRDI QIDQ4494691
Wolfgang J. Paul, Silvia Melitta Müller
Publication date: 8 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99)
Related Items (7)
Balancing the load. Leveraging a semantics stack for systems verification ⋮ Correct approximation of IEEE 754 floating-point arithmetic for program verification ⋮ A parametric error analysis of Goldschmidt's division algorithm ⋮ Pervasive Theory of Memory ⋮ Solving the generalized mask constraint for test generation of binary floating point add operation. ⋮ Formal verification of the VAMP floating point unit ⋮ Formalization of fixed-point arithmetic in HOL
This page was built for publication:
