A Haskell implementation of a rudimentary model checker for CCS+HML by applying A* search
Home Page:http://www.hvergi.net/arnar/code/haskell-ccs/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool