"Build your own model checker in one month."

Jin Song Dong, Jun Sun, Yang Liu (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics