Methods and Algorithms for Scalable Verification of Asynchronous Designs
Concurrent systems are getting more complex with the advent of multi-core processors and the support of concurrent programs. However, errors of concurrent systems are too subtle to detect with the traditional testing and simulation. Model checking is an effective method to verify concurrent systems...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Scholar Commons
2012
|
| Subjects: | |
| Online Access: | http://scholarcommons.usf.edu/etd/4263 http://scholarcommons.usf.edu/cgi/viewcontent.cgi?article=5459&context=etd |