Verified SAR-BP: a verified C implementation of Synthetic Aperture Radar backprojection with certified absolute error bound - View it on GitHub