Verifying the safety properties of concurrent systems via simultaneous reachability.
This thesis proposes two techniques, simultaneous reachability analysis and simultaneous product method, to reduce the number of global states to be analyzed for verifying the safety properties of concurrent systems. Both techniques utilize the idea of simultaneous execution of transitions. Simultan...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Published: |
University of Ottawa (Canada)
2009
|
Subjects: | |
Online Access: | http://hdl.handle.net/10393/10294 http://dx.doi.org/10.20381/ruor-8220 |