mcmini2021
Born on November 30, 2024•1 Karma
McMini is an explicit-state model checker, based on DPOR. It analyzes a target that is a multi-threaded executable (binary), and identifies thread schedules that produce deadlock, segfaults, assertion failures, and other errors. (See the McMini paper for technical details of its design.)