isabelle hol怎么用
答案:2 悬赏:0 手机版
解决时间 2021-03-11 02:45
- 提问者网友：抽煙菂渘情少年
- 2021-03-10 12:37
isabelle hol怎么用
最佳答案
- 五星知识达人网友：像个废品
- 2021-03-10 12:52
电梯控制系统经常被用于展示形式化验证方法的有效性.将电梯控制系统看作一个并发系统,利用Paulson归纳法对其进行描述.在定理证明工具Isabelle/HOL/Isar中给出了电梯控制系统的活动性证明.该方法能够处理状态空间任意大的电梯控制系统.
全部回答
- 1楼网友：蓝房子
- 2021-03-10 13:15
我不会~~~但还是要微笑~~~：）
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯