基于B方法验证技术的应用研究

• 作者: 吴铭 周彬 唐宇 滕腾 邹盛荣 阳雪平
• 来源期刊: 现代电子技术
• 关键词: B方法 形式化方法 因子网络 验证 免疫系统
• 年，卷（期）: 2007,（19）
• 所属期刊栏目: 自动化技术
• 页码范围: 131-134
• 页数: 4页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2007.19.045

摘要

形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的.用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查=和证明义务的给出,证明了抽象机的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邹盛荣	扬州大学信息工程学院	21	59	5.0	6.0
2	阳雪平	扬州大学信息工程学院	4	21	3.0	4.0
3	滕腾	扬州大学信息工程学院	2	10	2.0	2.0
4	唐宇	扬州大学信息工程学院	4	8	1.0	2.0
5	吴铭	扬州大学信息工程学院	1	8	1.0	1.0
6	周彬	扬州大学信息工程学院	1	8	1.0	1.0