/primalspec

Primary LanguageHaskellMIT LicenseMIT

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