Published July 1, 2019
| Version v2
Journal article
Open
Environment for verification of Reo protocols with SPIN model checker
Description
Archive for reproduction of the results presented in the paper.
Files
case_studies.zip
Files
(4.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:c2d69a5eb36bf084e5d80ae0e3abf324
|
4.7 kB | Preview Download |