Published July 3, 2020
| Version 1.1
Working paper
Open
ic3po: IC3 for Proving Protocol Properties
Description
Experimental data for the paper in progress: One-Click Verification of Distributed Protocols with Symmetry-Aware IC3
Files
ic3po_artifact_v1.1.zip
Files
(29.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8b6dbb0af573af71efef31c9ea09d380
|
29.6 MB | Preview Download |