搜索结果: 1-1 共查到“可计算性理论 boolean satisfiability”相关记录1条 . 查询时间(0.051 秒)
Scalable Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
We describe a software error-detection tool that exploits recent advances in boolean satisfiability (SAT) solvers. Our analysis is path sensitive, precise down to the bit level, and models pointers an...