Promela模型相关论文
信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类......
WAP事务协议(WTP)作为WAP协议体系结构中的一个重要部分,向会话层提供基于请求响应的分布式事务服务。由于WAP论坛将WAP协议规范以......
模型检测是一种重要的形式化验证技术,能自动地检验系统是否满足所期望的性质。模型检测已经被成功地应用于计算机硬件、通信协议......
嵌入式系统在航空、航天、交通等安全关键领域的使用愈加广泛,AltaRica是一种描述安全关键系统的建模语言,同时基于AltaRica模型的安......
为保证基于OWL-S的Web服务组合的正确性和可靠性,验证组合服务的交互协议.采用一种三层体系结构思想,即以OWLS来组合服务,以GA模型为中......
信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类......