hst. An open-source refinement checker for the CSP process algebra

github.com/dcreager/hst
by @dcreager

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.