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

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