Analysis tool for parallel systems

This paper describes a system for the creation of the traces of programs consisting of sets of parallel processes that communicate via message passing. The system uses a communicating sequential process (CSP) model to represent the program from which the traces are created. The system is based around the X-windows environment. The generated trace set is useful as a static testing tool for the detection of faults within a design, such as deadlocks or incorrect communication structures.<<ETX>>