Formal verification of iterative convergence of numerical algorithms.

Mohit Tekriwal Joshua Miller Jean-Baptiste Jeannin

Published in: CoRR (2022)

Keyphrases

formal verification
numerical algorithms
model checking
partial differential equations
model checker
automated verification
symbolic model checking
bounded model checking
gauss seidel
temporal logic
image denoising
convergence rate
convergence speed
fourth order
image enhancement
anisotropic diffusion