FDR2 - How to run

On the Linux machine in the lab, at a terminal command line, type cd $FDRHOME
Then type ./bin/fdr2

FDR2 will open and ask you which csp file to open up. You can then begin to use the program. You can check for deadlock, check for livelock, perform refinement, check the determinism, and evaluate the model.

CSP is a collection of algebraic operators that denote different ways of building and combining processes.