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

doi:10.1007/978-3-030-51054-1_22

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

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

5 Citations (Scopus)

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.

Original language	English
Title of host publication	10th International Joint Conference, IJCAR 2020 Paris, France, July 1–4, 2020 Proceedings, Part II
Editors	Nicolas Peltier, Viorica Sofronie-Stokkermans
Place of Publication	Cham Switzerland
Publisher	Springer
Pages	369-377
Number of pages	9
ISBN (Electronic)	9783030510541
ISBN (Print)	9783030510534
DOIs	https://doi.org/10.1007/978-3-030-51054-1_22
Publication status	Published - 2020
Externally published	Yes
Event	International Joint Conference on Automated Reasoning 2020 - Online, France Duration: 1 Jul 2020 → 4 Jul 2020 Conference number: 10th https://link.springer.com/book/10.1007/978-3-030-51054-1 (Proceedings) https://ijcar2020.org/#:~:text=IJCAR%202020%20is%20the%2010th,FSCD%202020%20joint%20meeting%20website. (Website)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12167
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Joint Conference on Automated Reasoning 2020
Abbreviated title	IJCAR 2020
Country/Territory	France
Period	1/07/20 → 4/07/20
Internet address	https://link.springer.com/book/10.1007/978-3-030-51054-1 (Proceedings) https://ijcar2020.org/#:~:text=IJCAR%202020%20is%20the%2010th,FSCD%202020%20joint%20meeting%20website. (Website)

Access to Document

10.1007/978-3-030-51054-1_22

Cite this

Bride, H., Cai, C.-H., Dong, J. S., Gore, R., Hóu, Z., Mahony, B., & McCarthy, J. (2020). N-PAT: A nested model-checker: (system description). In N. Peltier, & V. Sofronie-Stokkermans (Eds.), 10th International Joint Conference, IJCAR 2020 Paris, France, July 1–4, 2020 Proceedings, Part II (pp. 369-377). (Lecture Notes in Computer Science; Vol. 12167). Springer. https://doi.org/10.1007/978-3-030-51054-1_22

@inproceedings{4317b939e8414e089008d467a9a0e2c5,

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 Cheng-Hao Cai 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.; International Joint Conference on Automated Reasoning 2020, 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",

publisher = "Springer",

pages = "369--377",

editor = "Nicolas Peltier and Viorica Sofronie-Stokkermans",

booktitle = "10th International Joint Conference, IJCAR 2020 Paris, France, July 1–4, 2020 Proceedings, Part II",

url = "https://link.springer.com/book/10.1007/978-3-030-51054-1, https://ijcar2020.org/#:~:text=IJCAR%202020%20is%20the%2010th,FSCD%202020%20joint%20meeting%20website.",

}

Bride, H, Cai, C-H, Dong, JS, Gore, R, Hóu, Z, Mahony, B & McCarthy, J 2020, N-PAT: A nested model-checker: (system description). in N Peltier & V Sofronie-Stokkermans (eds), 10th International Joint Conference, IJCAR 2020 Paris, France, July 1–4, 2020 Proceedings, Part II. Lecture Notes in Computer Science, vol. 12167, Springer, Cham Switzerland, pp. 369-377, International Joint Conference on Automated Reasoning 2020, France, 1/07/20. https://doi.org/10.1007/978-3-030-51054-1_22

N-PAT: A nested model-checker: (system description). / Bride, Hadrien; Cai, Cheng-Hao; Dong, Jin Song et al.
10th International Joint Conference, IJCAR 2020 Paris, France, July 1–4, 2020 Proceedings, Part II. ed. / Nicolas Peltier; Viorica Sofronie-Stokkermans. Cham Switzerland: Springer, 2020. p. 369-377 (Lecture Notes in Computer Science; Vol. 12167).

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

TY - GEN

T1 - N-PAT

T2 - International Joint Conference on Automated Reasoning 2020

AU - Bride, Hadrien

AU - Cai, Cheng-Hao

AU - Dong, Jin Song

AU - Gore, Rajeev

AU - Hóu, Zhé

AU - Mahony, Brendan

AU - McCarthy, Jim

N1 - Conference code: 10th

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85088261856&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-51054-1_22

DO - 10.1007/978-3-030-51054-1_22

M3 - Conference Paper

AN - SCOPUS:85088261856

SN - 9783030510534

T3 - Lecture Notes in Computer Science

SP - 369

EP - 377

BT - 10th International Joint Conference, IJCAR 2020 Paris, France, July 1–4, 2020 Proceedings, Part II

A2 - Peltier, Nicolas

A2 - Sofronie-Stokkermans, Viorica

PB - Springer

CY - Cham Switzerland

Y2 - 1 July 2020 through 4 July 2020

ER -

Bride H, Cai CH, Dong JS, Gore R, Hóu Z, Mahony B et al. N-PAT: A nested model-checker: (system description). In Peltier N, Sofronie-Stokkermans V, editors, 10th International Joint Conference, IJCAR 2020 Paris, France, July 1–4, 2020 Proceedings, Part II. Cham Switzerland: Springer. 2020. p. 369-377. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-51054-1_22

N-PAT: A nested model-checker: (system description)

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this