PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers
Yang Liu, Jun Sun and Jin Song Dong School of Computing National University of Singapore.
Scalable Multi-core Model Checking Fairness Enhanced Systems
Build Your Own Model Checker in One Month