- 博客(1)
- 收藏
- 关注
转载 Murphi
一.MurphiMurphi工具最早由Stanford大学教授David Dill的团队开发,是一个精确状态的模型检测工具,其输入语言使用guare->action的标准术语,与Unity相似,在无限循环中重复执行。现在该工具已经不再由stanford大学维护(http://verify.stanford.edu/dill/murphi.html页面已经很久不更新,且软件也不可下),而
2015-02-25 09:46:40 1747
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人