课题基金 / 基金详情

实时容错协议的形式化技术

批准号：
90104007
项目类别：
重大研究计划
资助金额：
20.0 万元
负责人：
王戟
依托单位：
中国人民解放军国防科技大学
学科分类：
通信网络
结题年份：
2004
批准年份：
2001
项目状态：
已结题
项目参与者：
王戟、谭庆平、罗铁庚、董威、李书浩、王馨
关键词：
协议一程.形式验证.

项目摘要

结项摘要

王戟的其他基金

相似基金

相关文献

中文摘要
面向实时容错协议和网络服务,提出层次化、组合化的基于模型检验的形式验证技术的算法,并建立相应的计算机辅助工具.主要内容包括:实时容错楞议的形式模型和语义;实时容错协议的形式验证工具研究将推动协议工程学的发展,对下一代互联网的协议设计开发具有重要的科学意义和广泛的应用价值.
英文摘要
开放环境下安全攸关系统建模和验证理论与方法
网络计算环境的程序设计理论及关键技术
实时系统的软件可靠性测试与验证
面向UML的形式化测试技术
国内基金
海外基金