Hardware Model Checking Competition CAV 2014 Edition

摘要

The results of the 7th International Hardware Model Checking Competition were presented at CAV 2014. Model checkers were required to produce witnesses for single safety properties. The traces were checked by the AIGSIM tool, which is part of the AIGER tools. Otherwise, the competition was run in almost the same way as in the previous two years. The competition was run on a cluster at Aalto University with exclusive access to 32 nodes of 2x Six-Core AMD Opteron 2435 2.6GHz with at least 16 GB of RAM.