Generating State Graphs from Abstract Syntax Tree for Unified Transformations to Avoid State Explosion Compositionally
碩士 === 國立臺灣師範大學 === 資訊教育研究所 === 91 === In the recent years, many techniques for analyzing concurrent systems have been proposed. Among them, finite-state verification technique is attractive because it is simple and relatively straightforward to automate. However, its performance is limit...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2003
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/21201394612068335209 |