×

CCSP

swMATH ID: 111
Software Authors: Arrowsmith, Beth; McMillin, Bruce
Description: CCSP: A formal system for distributed program debugging. One of the major problems with programming in a parallel/distributed environment is the difficulty in debugging the programs due to their complex interactions. One can have results that appear random, but when given a complete knowledge of the specific run-time bahavior, the results are foregone. Unfortunately, this complete knowledge is not generally atainable in a distributed system. In order to develop a system for debugging distributed programs and, for the more general case, ensuring their correctness at run-time, we built a distributed execution environment based on Hoare’s CSP which allows for the execution and evaluation of embedded assertions within the CSP program.
Homepage: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.49.8800&rep=rep1&type=pdf
Related Software: Circus; FDR3; Z
Cited in: 14 Documents

Citations by Year