There is a newer version of the record available.

Published August 7, 2021 | Version v1.0
Software Open

uci-plrg/iotcheck-dpor: IoTCheck DPOR

Authors/Creators

  • 1. @uci-plrg

Description

This is the first release of the DPOR implementation for IoTCheck.

Files

uci-plrg/iotcheck-dpor-v1.0.zip

Files (56.5 kB)

Name Size Download all
md5:c3f4f64cd5ed70f49393ae93f5fe6fb4
56.5 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/uci-plrg/iotcheck-dpor/tree/v1.0 (URL)