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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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	Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings
Editors	Nicolas Peltier, Viorica Sofronie-Stokkermans
Publisher	Springer
Pages	369-377
Number of pages	9
ISBN (Print)	9783030510534
DOIs	https://doi.org/10.1007/978-3-030-51054-1_22
Publication status	Published - 2020
Event	10th International Joint Conference on Automated Reasoning, IJCAR 2020 - Virtual, Online Duration: 1 Jul 2020 → 4 Jul 2020

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12167 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th International Joint Conference on Automated Reasoning, IJCAR 2020
City	Virtual, Online
Period	1/07/20 → 4/07/20

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.), Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings (pp. 369-377). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12167 LNAI). Springer. https://doi.org/10.1007/978-3-030-51054-1_22

Bride, Hadrien ; Cai, Cheng Hao ; Dong, Jin Song et al. / N-PAT : A Nested Model-Checker: (System Description). Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. editor / Nicolas Peltier ; Viorica Sofronie-Stokkermans. Springer, 2020. pp. 369-377 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

Bride, H, Cai, CH, 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), Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12167 LNAI, Springer, pp. 369-377, 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Virtual, Online, 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.
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. ed. / Nicolas Peltier; Viorica Sofronie-Stokkermans. Springer, 2020. p. 369-377 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12167 LNAI).

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

TY - GEN

T1 - N-PAT

T2 - 10th International Joint Conference on Automated Reasoning, IJCAR 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

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 contribution

SN - 9783030510534

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 369

EP - 377

BT - Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings

A2 - Peltier, Nicolas

A2 - Sofronie-Stokkermans, Viorica

PB - Springer

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, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Springer. 2020. p. 369-377. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). 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

Fingerprint

Cite this