符号化方法论文

实时系统模型检测工具FPTAT的算法与实现
论文摘要模型检测方法是最近二十年来最成功的自动验证技术之一,目前已经广泛应用于有穷状态系统(包括通信协议和电路设计)的分析和验证。实时系统的安全性至关重要,模型检测方法可以有效...