| 基于B方法验证技术的应用研究 |
| |
| 引用本文： | 邹盛荣,滕腾,阳雪平,唐宇,吴铭,周彬.基于B方法验证技术的应用研究[J].现代电子技术,2007,30(19):131-134. |
| |
| 作者姓名： | 邹盛荣 滕腾 阳雪平 唐宇 吴铭 周彬 |
| |
| 作者单位： | 扬州大学,信息工程学院,江苏,扬州,225009 |
| |
| 基金项目： | 江苏省自然科学基金;扬州大学校科研和教改项目 |
| |
| 摘 要： | 形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了抽象机的正确性。
|
| 关 键 词： | B方法 形式化方法 因子网络 验证 免疫系统 |
| 文章编号： | 1004-373X（2007）19-131-04 |
| 收稿时间： | 2007-03-20 |
| 修稿时间： | 2007年3月20日 |
Application and Study of Test Technical Based on B Method |
| |
| ZOU Shengrong,TENG Teng,YANG Xueping,TANG Yu,WU Ming,ZHOU Bin.Application and Study of Test Technical Based on B Method[J].Modern Electronic Technique,2007,30(19):131-134. |
| |
| Authors: | ZOU Shengrong TENG Teng YANG Xueping TANG Yu WU Ming ZHOU Bin |
| |
| Affiliation: | The Information Engineering Academy,Yangzhou University,Yangzhou,225009,China |
| |
| Abstract: | |
| |
| Keywords: | B method formal method Cytokine network test immune system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
