Detecting potential synchronization constraint deadlocks from formal system specifications.
Schweiger, Jeffrey Mark
MetadataShow full item record
This thesis describes a conceptual design for a software tool for automatic detection of synchronization constraint deadlock from the formal specification of a distributed system. The formal specification language Spec is used to define the distributed system. The basic algorithm used is introduced using a graphical representation, and its operation illustrated via an example.