McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs.
Maxwell PirtleLuka JovanovicGene CoopermanPublished in: Art Sci. Eng. Program. (2023)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- description language
- temporal logic
- set theory
- formal specification
- symbolic model checking
- test suite
- general purpose
- specification language
- artificial intelligence
- orders of magnitude
- ai planning
- relational databases
- search strategies
- domain specific
- data model
- binary decision diagrams