TY  - RPRT
TI  - McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs
AU  - Maxwell Pirtle
AU  - Luka Jovanovic
AU  - Gene Cooperman
PY  - 2023
DO  - 10.22152/programming-journal.org/2024/8/1
UR  - https://arxiv.org/abs/2212.05468
ID  - 2212.05468
ER  -