C-language floating-point proofs layered with VST and Flocq
From MaRDI portal
Publication:5014364
DOI10.6092/issn.1972-5787/11442OpenAlexW3120453019MaRDI QIDQ5014364
Publication date: 2 December 2021
Full work available at URL: https://hal.inria.fr/hal-03130704
Related Items (2)
Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method ⋮ Formally-verified round-off error analysis of Runge-Kutta methods
This page was built for publication: C-language floating-point proofs layered with VST and Flocq