搜索结果: 1-1 共查到“计算机运行测试与性能评价 Saturn”相关记录1条 . 查询时间(0.078 秒)
Saturn: A SAT-Based Tool for Bug Detection
Saturn SAT-Based Tool Bug Detection
font style='font-size:12px;'>
2016/5/24
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.