@inproceedings{a8fc3f0c7fb5464c95008426a5666318,
title = "N-PAT: A Nested Model-Checker: (System Description)",
abstract = "N-PAT is a new model-checking tool that supports the verification of nested-models, i.e. models whose behaviour depends on the results of verification tasks. In this paper, we describe its operation and discuss mechanisms that are tailored to the efficient verification of nested-models. Further, we motivate the advantages of N-PAT over traditional model-checking tools through a network security case study.",
author = "Hadrien Bride and Cai, \{Cheng Hao\} and Dong, \{Jin Song\} and Rajeev Gore and Zh{\'e} H{\'o}u and Brendan Mahony and Jim McCarthy",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 10th International Joint Conference on Automated Reasoning, IJCAR 2020 ; Conference date: 01-07-2020 Through 04-07-2020",
year = "2020",
doi = "10.1007/978-3-030-51054-1\_22",
language = "English",
isbn = "9783030510534",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "369--377",
editor = "Nicolas Peltier and Viorica Sofronie-Stokkermans",
booktitle = "Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings",
address = "Germany",
}