Test and Verification of Concurrent Programs Using the Model Checker SPIN
碩士 === 國立交通大學 === 資訊工程學系 === 86 === Model checking is a proven successful technology for verifying hardware. We demonstrate how model checking can be used to test and verify concurrent programs with the model checker SPIN. First, we use S...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1998
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/09094884337750961202 |