hst: 1.0-α2
- failures refinement (with counterexamples)
Released 2008-07-06: http://dcreager.net/hst/hst-0.1-...
Closed Tickets
-
✔ #1
Comments in CSP₀ scriptscsp0 ✓resolved -
✔ #4
“Interrupt” operator is actually “timeout”operators ✓resolved -
✔ #6
Interleave doesn't handle ✓ events correctlyoperators ✓resolved -
✔ #7
CSP₀ identifiers should be able to contain underscorescsp0 ✓resolved -
✔ #3
Failures refinementno tags ✓resolved -
✔ #9
is_superset_with_proof sometimes gives incorrect proofno tags ✓resolved
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.
Douglas Creager
Unassigned