arnar / ccs-searching

A Haskell implementation of a rudimentary model checker for CCS+HML by applying A* search

http://www.hvergi.net/arnar/code/haskell-ccs/

Geek Repo

Github PK Tool