多项式程序模型的互模拟等价

• 作者: 吴尽昭 邓辉
• 来源期刊: 北京交通大学学报
• 学科: 工学
• 关键词: 互模拟等价 多项式程序模型 非确定性 并发
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 计算机与信息技术
• 页码范围: 73-77,88
• 分类号: TP301
• 字数: 4797字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-0291.2011.05.014

摘要

针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题.最后给出并发程序的相关实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴尽昭	北京交通大学计算机与信息技术学院	5	22	3.0	4.0
5	邓辉	北京交通大学计算机与信息技术学院	2	3	1.0	1.0