SONOLAR

MaRDI QIDQ38022swMATHFDO

Official website https://www.informatik.uni-bremen.de/agbs/florian/sonolar/

Cited in

(5)

• UppSAT
• XSat
• Deciding floating-point logic with abstract conflict driven clause learning
• Exploring approximations for floating-point arithmetic using UppSAT
• Complete model-based equivalence class testing for nondeterministic systems

This page was built for software: SONOLAR