月度档案 2007年10月
读写器问题
模型检查器
-
现场模型检查 :验证是否有公平事件的CSP过程。 有界模型检查:基于SAT求解器,在没有公平事件的情况下验证CSP进程。
CSP模拟器
基于执行图完成状态生成。 如果状态不是有限的,则生成可能不会终止。 带动画的自动随机模拟 用户交互仿真,分步执行 轨迹显示和回放
屏幕快照
拍打
模拟器
Buchi Automata查看器
模型检查器