Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers.

Junaid Rasheed, Michal Konecn

Browse the full SEFM paper archive.