Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

CoOpeRace: Cooperative Race Freedom Verification

20260 citationsOthergreen Open Access

Authors

Chris, Matsiselts · University of Tartu

Holter, Karoliine · University of Tartu

Saan, Simmo · University of Tartu

Vojdani, Vesal · University of Tartu

Abstract

CoOpeRace metaverifier for SV-Comp 2026.

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.17719057

CoOpeRace: Cooperative Race Freedom Verification | Researchclopedia