ASE 2008 Evaluation Materials
To accompany
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates
.
Experimental results:
Excel format
,
CSV format
Test suite:
verisec-ase08.tar.gz
The original Verisec benchmark page is located
here
.