Formally Verified Interval Arithmetic and Its Application to Program Verification.

Achim D. Brucker Teddy Cameron-Burke Amy Stell

Published in: FormaliSE@ICSE (2024)

Keyphrases

interval arithmetic
constraint propagation
real numbers
floating point
finite sets
partial derivatives
provably correct
ray casting
search space
special case
constraint satisfaction problems
implicit surfaces
real time
learning algorithm
video sequences
cost function