The Formal Verification of SYN-Sequences Generated in Dynamic Testing
碩士 === 國立臺灣師範大學 === 資訊工程研究所 === 97 === Concurrent programs exhibit nondeterministic behavior in that multiple executions thereof with the same input might produce different sequences of synchronization events and different results. It makes the concurrent programs difficult to test. Dynamic testing...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | en_US |
Published: |
2009
|
Online Access: | http://ndltd.ncl.edu.tw/handle/2424m9 |