To search, Click below search items.
All Published Papers Search Service
Title
An Approach to Slicing Concurrent Ada Programs Based on Program Reachability Graphs
Author
Xiaofang Qi, Baowen Xu
Vol. 6 No. 1 pp. 29~37
Keywords
dependence analysis, slice, Ada, concurrent programs, reachability analysis
Constructing the Reaching Region Graph for Timed Automata with PVS
Huaikou Miao, Qingguo Xu
Vol. 6 No. 7 pp. 175-181
Timed Automata, Clock region, Region equivalence, Reachability analysis, PVS