There is a newer version of the record available.

Published October 22, 2025 | Version v1
Software Open

CoOpeRace: Cooperative Race Freedom Verification

Authors/Creators

  • 1. ROR icon University of Tartu

Description

CoOpeRace metaverifier for SV-Comp 2026.

Files

cooperace.zip

Files (220.7 MB)

Name Size Download all
md5:734af3d810503c08bd5907b0c60997f9
220.7 MB Preview Download

Additional details

Software

Repository URL
https://github.com/sws-lab/cooperace
Programming language
Python