Numerical Software Verification | lit.salon