XSat

MaRDI QIDQ38021swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-41540-6_11

Source code repository https://github.com/zhoulaifu/xsat

Cited in

(7)

• TopDeg
• raSAT
• SONOLAR
• UppSAT
• JaCoCo
• Exploring approximations for floating-point arithmetic using UppSAT
• Machine learning steered symbolic execution framework for complex software code

This page was built for software: XSat