基于网语言的Ada程序局部性质的分析和验证

• 作者: 丁志军 蒋昌俊
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Ada网 同步合成 同步分解 网语言 分析 验证
• 年，卷（期）: 2002,（12）
• 页码范围: 2305-2316
• 页数: 12页
• 分类号: TP311
• 字数: 8099字
• 语种: 中文

摘要

旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	山东科技大学信息科学与工程学院	93	1492	18.0	36.0
5	丁志军	山东科技大学信息科学与工程学院	16	105	5.0	9.0