TDacik/Deadlock_and_Racer

Dacík, Tomáš; Vojnar, Tomáš

doi:10.4230/artifacts.23614

Artifact

TDacik/Deadlock_and_Racer Software

Authors Tomáš Dacík , Tomáš Vojnar

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-06-25

Document Identifiers

DOI: 10.4230/artifacts.23614
URN: urn:nbn:de:0030-drops-236146

Author Details

Tomáš Dacík

Faculty of Information Technology, Brno University of Technology

Tomáš Vojnar

Faculty of Information Technology, Brno University of Technology & Faculty of Informatics, Masaryk University

Content

Software (Source Code): https://github.com/TDacik/Deadlock_and_Racer
archived version

Version/Status

Content created at: 2025-06-18

Cite As Get BibTex

Tomáš Dacík, Tomáš Vojnar. TDacik/Deadlock_and_Racer (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23614

Description

RacerF (version 2.2.1)

Subject Classification

Keywords

data
data-race-detection
deadlock-detection
frama-c
static-analysis

Programming Languages

OCaml
C
Python
Makefile
Dune

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail