stuttering等价相关论文
模型检测是一种完全自动化的系统可靠性与安全性的形式化验证技术，目前已经广泛应用于集成电路、通信协议、安全协议等软硬件系统的......
在讨论有界模型检测及其转换公式的基础上,对有界模型检测转换公式[[M,f]]k中的[[M]]k进行优化。通过在LTL有界模型检测中引入Stut......
