It does not model check CSP, but is useful for exploring very large (potentially infinite) systems.
Tai nėra modelis patikrinti CSP, bet tai yra naudinga tiriant labai didelias (galimai begalinias) sistemas.