Developing Model Checkers Using PAT.

Yang Liu, Jun Sun, Jin Song Dong

Browse the full ATVA paper archive.