抽象算法相关论文
对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基......
提出并实现了一个自动抽象算法,可从详细系统的Promela行为模型中导出抽象系统的行为模型.抽象模型与原模型迹等价,且具有状态变量......
