A High Level Analysis Tool for Concurrent Programs

The design of a tool which analyzes concurrent sequential processes-like programs is presented. The purpose of the analyzer is to favor the understanding of a concurrent program via its simplification with respect to constraints interactively provided by the user. Constraints can be either on the input data or on possible synchronizations. The analyzer is based on parallelism removal techniques and symbolic evaluation techniques. 13 references.