SPIN模型检测器相关论文
LINUX操作系统继承了UNIX的基本设计思想,是当今为人们所公认的具有较强的安全性和稳定性的系统。对于这样一种多任务、多用户的操......
近些年来模型检测已经成为验证硬件设计正确性一种实用的方法,它能克服传统方法(比如仿真和测试)的一些固有的缺陷,因为穷尽的测试......
