分割图描述的正确性验证

• 作者: 滕至阳 程正潮 袁全生
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 模块验证 程序正确性 分割图
• 年，卷（期）: 1998,（4）
• 所属期刊栏目: 研究通讯
• 页码范围: 25-29
• 页数: 5页
• 分类号: TN91
• 语种: 中文
• DOI: 10.3321/j.issn:1002-0470.1998.04.006

摘要

提出了针对决定性应用程序分割图描述的一种程序正确性验证方法.该方法把经过验证的分割图描述自动转换成C语言程序,在分割图级别上能够比较容易地构造程序模块的验证条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	滕至阳	东南大学计算机科学与工程系	21	448	8.0	21.0
2	袁全生	东南大学计算机科学与工程系	2	7	1.0	2.0
3	程正潮	东南大学计算机科学与工程系	2	7	1.0	2.0