PEPM-SCP experimental evaluation
The VeriMAP tool
Download VeriMAP-linux_x86_64.tar.gz
README
Benchmarks
Benchmark sets for VeriMAP,
HSF(C),
ARMC,
TRACER
consisting of C programs taken from
DAGGER,
INVGEN,
SV-COMP 13,
TRACER.
Reports
- Gen_M (monovariant generalization with widening only)
- Gen_MH (monovariant generalization with widening and convex hull)
- Gen_P (polyvariant generalization with widening only)
- Gen_PH (polyvariant generalization with widening and convex hull)
Please note that for some programs, marked with (*), the verification time is greater than the considered time limit of five minutes. For some of these programs VeriMAP produced a correct answer.
Programs marked with (*) and programs with result 'unknown' have been considered as timed-out programs in the experimental results presented in the paper.
Links
- ARMC
- HSF(C)
- TRACER