Name | Modified | Size | Downloads / Week |
---|---|---|---|
ntccKMC.zip | 2013-02-19 | 130.6 kB | |
Totals: 1 Item | 130.6 kB | 0 |
ntccKMC Files
ntccKMC: A Kripke-structure-based model checker for ntcc
Status: Pre-Alpha
Brought to you by:
mauriciotoro
Name | Modified | Size | InfoDownloads / Week |
---|---|---|---|
ntccKMC.zip | 2013-02-19 | 130.6 kB | |
Totals: 1 Item | 130.6 kB | 0 |