Giters

arnar / ccs-searching

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

This repository is not active

About

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

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