Published August 22, 2021
| Version v1.1
Software
Open
uci-plrg/iotcheck-dpor: IoTCheck DPOR
Description
Bug fixes for ModelCheck_DPOR.py
and iotcheck.sh
.
Files
uci-plrg/iotcheck-dpor-v1.1.zip
Files
(56.6 kB)
Name | Size | Download all |
---|---|---|
md5:f64342453b4dd01eb413c8bdf56a3953
|
56.6 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/uci-plrg/iotcheck-dpor/tree/v1.1 (URL)