CSP Assignment

Communicating Sequential Processes (CSP) is a formal method to describe concurrent process. It has many applications in embedded system and multi-processor system-on-chip. The assignment is to download and evaluate CSP related tools:

Formal Systems:
http://www.fsel.com/software.html
Download ProBE and test it. Check if FDR2 is usable and ask for academic license policy.

CSP++:
http://www.uoguelph.ca/~gardnerw/research/