Detecting Potential Synchronization Constraint Deadlocks from Formal System Specifications
Jeffrey Mark Schweiger · Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) · 1992
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. Deadlock, Formal specification, Software engineering, Distributed systems, Concurrent systems, Regular expressions, Synchronization.