Bit-precise verification of discontinuity errors under fixed-point arithmetic

DOI10.1007/978-3-030-92124-8_25zbMath1522.68163OpenAlexW4206073153MaRDI QIDQ6045065

Mirco Tribastone, Stella Simić, Omar Inverso

Publication date: 26 May 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-92124-8_25

zbMATH Keywords

program transformationbounded model checkingnumerical errorfixed-point arithmeticcontrol-flowdiscontinuity error

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Static Analysis of Finite Precision Computations
• An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
• How Many Bits Does it Take to Quantize Your Neural Network?
• Tools and Algorithms for the Construction and Analysis of Systems
• Theory and Applications of Satisfiability Testing
• Sound compilation of reals