Analysis and verification of local properties of Ada tasking based on net language

被引：0
|
作者：
Ding, Zhi-Jun [1 ]
Jiang, Chang-Jun [1 ,2 ]
机构：
[1] Coll. of Info. Sci. and Eng., Shandong Univ. of Sci. and Technol., Tai'an 271019, China
[2] Dept. of Comp. Sci. and Eng., Tongji Univ., Shanghai 200092, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2002年 / 13卷 / 12期
关键词：
Calculations - Mathematical models - Petri nets - Theorem proving;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The properties of Ada tasking and the correlative state explosion problem are discussed by using the net language. The synchronous composition and decomposition of Ada net is studied, as a result, net language properties are obtained, and the safeness and liveness properties of Ada tasking by using the Ada net language are analyzed and verified, which provide a new and useful way for analyzing and verifying the complex Ada tasking.
引用
收藏
页码：2305 / 2316
相关论文
共 50 条
12345