QF_FP

MaRDI QIDQ56293swMATHFDO

Official website https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_FP

Source code repository https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_FP

Cited in

(2)

• Deductive verification of floating-point Java programs in KeY
• UppSAT

This page was built for software: QF_FP