Path-Based Verification Techniques: Theory and Application
博士 === 國立交通大學 === 資訊工程系 === 88 === It is a challenging task to analyze the execution behavior and ensure the correctness of concurrent systems because their complexity introduced by the inherent nature of concurrency, communication and nondeterminism. Formal verification has been convinced to be an...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
1999
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/30692351094514745745 |