Build your own model checker in one month.

Jin Song Dong, Jun Sun, Yang Liu

Browse the full ICSE paper archive.