hst

C++ ★ 2 updated 17y ago ⑂ fork

An open-source refinement checker for the CSP process algebra

No plain-English explanation yet — one is being written right now. Check back in a minute.