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

摘要：

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

关键词：Ada网、同步合成、同步分解、网语言、分析、验证

所属期刊栏目：13

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金69973029,69933020;国家高技术研究发展计划863计划2001AA413020;国家重点基础研究发展计划973计划G1998030604;国家自然科学基金60125205;教育部优秀青年教师资助计划;全国高等学校优秀博士学位论文作者专项基金199934;上海市科技发展基金02DJ14064

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：2305-2316