Related Documents Related Documents
| [1] | Kadir Ozdemir, Verifying the Safety Properties of Concurrent Systems via Simultaneous Reachability, Ph. D. Dissertation, University of Ottawa, November 1995. |
| [2] | Kadir Ozdemir & Hasan Ural, Protocol Validation by Simutaneous Reachability Analysis, Computer Communications, Vol. 20, No. 9, 1997, pp. 772-788. |
| [3] | Kadir Ozdemir & Hasan Ural, Deadlock detection in CFSM models via simultaneously executable sets, Proc. of ICCI'94, Peterborough, Ontario, Canada, May 1994, pp. 673-688. |
| [4] | Hans van der Schoot & Hasan Ural, On Improving SRA for The Efficient Verification of Deadlock-Freedom, University of Ottawa, TR-95-20, December 1995. |
| [5] | Tuong M. Nguyen, Relief in Simultaneous Reachability Analysis, University of Ottawa, CSI4900 Course Project, March 1996. |
| [6] | Hans van der Schoot & Hasan Ural, Protocol Verification by Leaping Reachability Analysis: a uniform approach to tackle state explosion, University of Ottawa, TR-96-13, November 1996. Revised in 1997. |
| [7] | Tuong M. Nguyen, RELIEFv3.0 - LRA and FRA, TSERG, University of Ottawa, July 1996. |
| [8] | Hans van der Schoot & Hasan Ural, Deadlock Detection by Fair Reachability Analysis: Multi-Cyclic Protocols and Beyond, University of Ottawa, TR-95-17, July 1995. |
| [9] | Hans van der Schoot & Hasan Ural, An Improvement in Partial-Order Model-Checking with Ample Sets, University of Ottawa, TR-96-11, September 1996. Revised in 1997 |
| [10] | Tuong M. Nguyen, RELIEFv3.4 - System Architecture, TSERG, University of Ottawa, October 1996. |
| [11] | Tuong M. Nguyen, RELIEFv3.4 - Development Environment, TSERG, University of Ottawa, October 1996. |
| [12] | Tuong M. Nguyen, RELIEFv3.4 - The POVAS Analyzer Specification, TSERG, University of Ottawa, October 1996. |
Edited: May 1997
Designer: Tuong M. Nguyen