线形时序逻辑相关硕士博士期刊学术论文 - 搜论网

线形时序逻辑相关论文

基于模型检查的TCP连接管理协议分析与验证

随着网络协议复杂性的增大，如何发现其自身的潜在错误变得非常重要。为了发现传统测试手段难以检测的错误，采用模型检查技术分析和验......

期刊

模型检查形式化验证有限状态机线形时序逻辑 TCP连接管理 model checking formal verification finite state

看过本文同时还关注