domains / families / research / tacas-experiments

tacas-experiments

separate

Use when designing or auditing a TACAS (ETAPS) evaluation, covering shared verification benchmarks (SV-COMP-style task sets), fair baseline configuration and equal time budgets, honest wall-clock/scalability reporting on stated hardware, soundness checking of results, reproducibility on the clean artifact VM, and how a TACAS tool-paper evaluation differs from a SV-COMP competition entry.

When to use

• designing TACAS evaluations
• auditing TACAS evaluations
• configuring fair baselines
• reporting wall-clock and scalability
• checking soundness of results
• ensuring reproducibility on clean artifact VM
• distinguishing TACAS tool-paper evaluation from SV-COMP

When not to use

• SV-COMP competition entry submission

Skill page

Source