Show simple item record

dc.contributor.authorBride, Hadrien
dc.contributor.authorCai, Cheng-Hao
dc.contributor.authorDong, Jin Song
dc.contributor.authorGore, Rajeev
dc.contributor.authorHou, Zhe
dc.contributor.authorMahony, Brendan
dc.contributor.authorMcCarthy, Jim
dc.date.accessioned2020-07-21T03:19:30Z
dc.date.available2020-07-21T03:19:30Z
dc.date.issued2020
dc.identifier.isbn978-3-030-51053-4
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-030-51054-1_22
dc.identifier.urihttp://hdl.handle.net/10072/395668
dc.description.abstractN-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.
dc.description.peerreviewedYes
dc.description.sponsorshipDefence Science and Technology Group-Department of Defence
dc.publisherSpringer
dc.relation.ispartofconferencenameInternational Joint Conference on Automated Reasoning
dc.relation.ispartofconferencetitleLecture Notes in Computer Science
dc.relation.ispartofdatefrom2020-07-01
dc.relation.ispartofdateto2020-07-04
dc.relation.ispartoflocationParis, France
dc.relation.ispartofpagefrom369
dc.relation.ispartofpageto377
dc.relation.ispartofvolume12167
dc.subject.fieldofresearchSoftware engineering
dc.subject.fieldofresearchcode4612
dc.titleN-PAT: A Nested Model-Checker
dc.typeConference output
dc.type.descriptionE1 - Conferences
dcterms.bibliographicCitationBride, 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
dc.date.updated2020-07-20T05:08:55Z
dc.description.versionAccepted Manuscript (AM)
gro.rights.copyright© 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
gro.hasfulltextFull Text
gro.griffith.authorHou, Zhe
gro.griffith.authorDong, Jin-Song


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record