McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs.

Maxwell Pirtle Luka Jovanovic Gene Cooperman

Published in: CoRR (2022)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
ai planning
symbolic model checking
general purpose
expert systems
specification language
set theory
planning domains
binary decision diagrams