Massachusetts Inst. of Tech., Cambridge, Masters thesis, 1988.
Abstract: The thesis is the preliminary work for a new automated software analysis tool entitled `AdaFlow'. The tool, which is written in Ada, takes Ada programs as input, and translates the source code to a Petri net model. The Petri net model provides the user with the capability to perform automated, interactive analysis of Ada programs for the properties such as safety and deadlocks.