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

Hadrien Bride^*, Cheng Hao Cai, Jin Song Dong, Rajeev Gore, Zhé Hóu, Brendan Mahony, Jim McCarthy

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review