Published November 26, 2026 | Version v2
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 (245.9 MB)

Name Size Download all
md5:cde3d959beafe34b3a590713d85dc952
245.9 MB Preview Download

Additional details

Software

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