|
|
| Members: 4 |
| Language: English |
|
Group categories:
|
| More group info » |
|
This group pertains to the HST model checker for the CSP process algebra.
Homepage is at: http://hst.github.com/ Latest code can be found at: http://github.com/hst/hst Downloads can be found at: http://github.com/hst/hst/downloads Bug tracking can be found at: http://hst.lighthouseapp.com/projects/9982-hst/overview
|
|
| Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy |
| ©2009 Google |
|
