Dynamical Analysis of SDL Programs with Predicate/Transiton Nets

摘要

In this report an analyzer based on formal methods for concurrent programs ispresented. Since the seventies the Specification and Description Language SDL has been used for developing distributed and concurrent systems. These systems, which include e.g., telephone exchanges, have become extremely complicated during the last decades. Due to the complexity resulting from the concurrent transactions in systems, the development of these systems is expensive and design errors are hard to find.