There is a newer version of the record available.

Published May 16, 2020 | Version 1.0
Working paper Open

ic3po: IC3 for Proving Protocol Properties

Authors/Creators

  • 1. University of Michigan

Description

 Artifact for the FMCAD 2020 paper under submission: One-Click Verification of Distributed Protocols with Symmetry-Aware IC3

Files

ic3po_artifact.zip

Files (32.4 MB)

Name Size Download all
md5:f3551bd02fa38d1ced3707535feef27e
32.4 MB Preview Download