N-PAT: A Nested Model-Checker - (System Description).

Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gor, Zh Hu, Brendan P. Mahony, Jim McCarthy

Browse the full CADE paper archive.