Detecting potential synchronization constraint deadlocks from formal system specifications.

Abstract

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.