FDR2(Failures/Divergence Refinement 2)とはFormal Systems Europe Ltd. が開発したCSPの自動検証ツールである。CSPで記述したプロセスのRefinment,Deadlock,Livelock,Determinismをチェックすることができる。上記 Formal Systems のサイトからFDR2、マニ…