The most well-known CSP tool is probably Failures/Divergence Refinement 2 (FDR2), which is a commercial product developed by Formal Systems (Europe) Ltd.
Labiausiai žinomi CSP įrankiai yra Failures/Divergence Refinement 2 (FDR2), kuris yra komercinis produktas, sukurtas Formal Systems (Europe) Ltd.