Published November 17, 2024 | Version v4
Software Open

CoOpeRace: Cooperative Race Freedom Verification

Authors/Creators

  • 1. ROR icon University of Tartu

Description

CoOpeRace metaverifier for SV-Comp 2025.

Files

cooperace.zip

Files (358.3 MB)

Name Size Download all
md5:f4ce5dea328f2dbebf19d7f6c75d271d
358.3 MB Preview Download

Additional details

Software

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