The most well-known CSP tool is probably Failures/Divergence Refinement 2 (FDR2), which is a commercial product developed by Formal Systems (Europe) Ltd.
Το γνωστότερο εργαλείο CSP είναι μάλλον το Failures/Divergence Refinement 2 (FDR2), το οποίο είναι εμπορικό προϊόν που αναπτύχθηκε από τη Formal Systems (Europe) Ltd.