public
Fork of hst/hst
Description: An open-source refinement checker for the CSP process algebra
Homepage: http://hst.github.com/
Clone URL: git://github.com/dcreager/hst.git

People Watching dcreager/hst