Helsinki Univ. of Technology, Espoo (Finland). Digital Systems Lab., Technical Report No. SER-B-3, 1988.
Abstract: An advanced analysis environment for SDL-specifications is presented. The analysis is based on the PrT-net formalism. Currently, the analysis method used is exhaustive generation of the state space of the system, enabling detection of all the deadlocks and livelocks. The use of PrT-nets makes it possible to extend the analysis environment with an invariant analysis capality.