Ccs-searching is a project mainly written in ..., it's free.

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