一种网络可生存性检验模型的形式验证
裴斐
金秋
1.中原工学院,郑州,4500072.中原工学院,郑州,450007
摘要：提出了一种基于分布式仿真平台的可生存性验证模型,实现了对不同种可生存性模型的统一检验.使用有色Petri网验证表明,该模型满足可达、有界、公平等基本性质,形式验证为模型的实例化做好了准备.
关键词：可生存性分布式仿真有色Petri
分类号：TP309B(计算技术、计算机技术)
资助基金：河南省科技攻关计划项目(092102310038)河南省自然科学基金项目(082102210082)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 22-26 )
英文信息