CoCoV: A Compositional Concurrency Verifier using model architecture refectoring to decompose process behaviors with abstract datatype
碩士 === 國立臺灣師範大學 === 資訊教育研究所 === 92 === Model Checking techniques have improved considerably in past decades. In practice, there are some difficulties to apply model checking technology to software, particularly to source code directly. Not only software has more states, but also it is not easy to na...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/45392530550028550700 |