primalspec ProB is better tool than this. Please use it. A model checker for state machine; a lesser FDR. CSP without concurrency and internal event(non-determinic transition) MIT License command line tool How to use stack build stack install prsp sample/vm.csp