N-PAT: A Nested Model-Checker

Loading...
Thumbnail Image
File version

Accepted Manuscript (AM)

Author(s)
Bride, Hadrien
Cai, Cheng-Hao
Dong, Jin Song
Gore, Rajeev
Hou, Zhe
Mahony, Brendan
McCarthy, Jim
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2020
Size
File type(s)
Location

Paris, France

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

Journal Title
Conference Title

Lecture Notes in Computer Science

Book Title
Edition
Volume

12167

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© Springer Nature Switzerland AG 2020. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com

Item Access Status
Note
Access the data
Related item(s)
Subject

Software engineering

Information and computing sciences

Persistent link to this record
Citation

Bride, H; Cai, C-H; Dong, JS; Gore, R; Hou, Z; Mahony, B; McCarthy, Lecture Notes in Computer Science, J, N-PAT: A Nested Model-Checker, 2020, vol. 12167, pp. 369-377