Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287779503> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4287779503 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." @default.
- W4287779503 created "2022-07-26" @default.
- W4287779503 creator A5025686602 @default.
- W4287779503 creator A5026226560 @default.
- W4287779503 creator A5055734272 @default.
- W4287779503 creator A5070853076 @default.
- W4287779503 creator A5077557044 @default.
- W4287779503 creator A5085067496 @default.
- W4287779503 creator A5088219777 @default.
- W4287779503 date "2020-05-11" @default.
- W4287779503 modified "2023-09-28" @default.
- W4287779503 title "N-PAT: A Nested Model-Checker" @default.
- W4287779503 doi "https://doi.org/10.48550/arxiv.2005.05520" @default.
- W4287779503 hasPublicationYear "2020" @default.
- W4287779503 type Work @default.
- W4287779503 citedByCount "0" @default.
- W4287779503 crossrefType "posted-content" @default.
- W4287779503 hasAuthorship W4287779503A5025686602 @default.
- W4287779503 hasAuthorship W4287779503A5026226560 @default.
- W4287779503 hasAuthorship W4287779503A5055734272 @default.
- W4287779503 hasAuthorship W4287779503A5070853076 @default.
- W4287779503 hasAuthorship W4287779503A5077557044 @default.
- W4287779503 hasAuthorship W4287779503A5085067496 @default.
- W4287779503 hasAuthorship W4287779503A5088219777 @default.
- W4287779503 hasBestOaLocation W42877795031 @default.
- W4287779503 hasConcept C103000020 @default.
- W4287779503 hasConcept C110251889 @default.
- W4287779503 hasConcept C199360897 @default.
- W4287779503 hasConcept C41008148 @default.
- W4287779503 hasConcept C510870499 @default.
- W4287779503 hasConcept C80444323 @default.
- W4287779503 hasConceptScore W4287779503C103000020 @default.
- W4287779503 hasConceptScore W4287779503C110251889 @default.
- W4287779503 hasConceptScore W4287779503C199360897 @default.
- W4287779503 hasConceptScore W4287779503C41008148 @default.
- W4287779503 hasConceptScore W4287779503C510870499 @default.
- W4287779503 hasConceptScore W4287779503C80444323 @default.
- W4287779503 hasLocation W42877795031 @default.
- W4287779503 hasLocation W42877795032 @default.
- W4287779503 hasLocation W42877795033 @default.
- W4287779503 hasOpenAccess W4287779503 @default.
- W4287779503 hasPrimaryLocation W42877795031 @default.
- W4287779503 hasRelatedWork W2013111119 @default.
- W4287779503 hasRelatedWork W2112962394 @default.
- W4287779503 hasRelatedWork W2118300983 @default.
- W4287779503 hasRelatedWork W2364866360 @default.
- W4287779503 hasRelatedWork W2382501300 @default.
- W4287779503 hasRelatedWork W3137189469 @default.
- W4287779503 hasRelatedWork W3162240892 @default.
- W4287779503 hasRelatedWork W4235530921 @default.
- W4287779503 hasRelatedWork W4243252198 @default.
- W4287779503 hasRelatedWork W4245713008 @default.
- W4287779503 isParatext "false" @default.
- W4287779503 isRetracted "false" @default.
- W4287779503 workType "article" @default.