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 |
|
| Citation |
Vol. 6 No. 1 pp. 29~37 |
|
Keywords |
dependence analysis, slice, Ada, concurrent programs, reachability analysis |
|
Title |
Constructing the Reaching Region Graph for Timed Automata with PVS |
|
Author |
|
| Citation |
Vol. 6 No. 7 pp. 175-181 |
|
Keywords |
Timed Automata, Clock region, Region equivalence, Reachability analysis, PVS |
