Maxwell Pirtle

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Specification Language

Binary Decision Diagrams

Formal Specification

Top Venues

Art Sci. Eng. Program.

Publications

Maxwell Pirtle, Luka Jovanovic, Gene Cooperman
McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs. Art Sci. Eng. Program. 8 (1) (2023)
Maxwell Pirtle, Luka Jovanovic, Gene Cooperman
McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs. CoRR (2022)