计算机辅助验证相关论文
模型验证是一种重要的自动化验证技术。给定一个软件或者硬件模型和相应的安全性质,模型验证技术可以自动化地验证模型是否安全,从......
随着硬件和软件系统的规模和功能的迅速的增长,设计的复杂性和设计中所包含微小错误的可能性也随之增长,这就给软件和硬件产品的可靠......