QF_FP

swMATH40593MaRDI QIDQ56293FDOQ56293

Author name not available (Why is that?)

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