McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs. - Maxwell Pirtle; Luka Jovanovic; Gene Cooperman (Art Sci. Eng. Program., 2024)