我们可以使用Z3 SMT解算器进行软件测试吗

2024-05-16 05:03:41 发布

您现在位置:Python中文网/ 问答频道 /正文

我们可以用Z3来做软件的功能验证吗。例如,如果我有一个代码,比如说自动售货机控制器,我们可以用Z3来测试它的功能,如果是的话,有多深,如果不是为什么?你知道吗


Tags: 代码功能软件控制器z3
1条回答
网友
1楼 · 发布于 2024-05-16 05:03:41

使用SMT解算器进行验证既是“例行工作”,也是当前学术界和工业界研究的主题。Nikolaj也很谦虚:我建议首先阅读他的优秀且易于访问的CACM article,其中还包含许多有用的进一步参考资料。你知道吗

相关问题 更多 >