Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022154493> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2022154493 abstract "The paper shows how predicate abstraction can be applied to protocol verification. Predicate abstraction is a method for automatic construction of an abstract state graph. The basic idea is to use n predicates, phi <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>1</sub> ,..., phi <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>n</sub> , defined on a concrete state space to generate an abstract state graph. Model checking is a formal verification technique which has been successfully applied to protocol verification. However, model checking can only be applied to finite state systems. Many interesting systems are infinite state or the number of states is so large that verification becomes infeasible. Predicate abstraction can be applied in the verification of infinite state systems (or large finite state systems). An abstract state graph created by predicate abstraction can be used for verification of safety properties using a model checker. We provide simple examples of protocol verification using predicate abstraction" @default.
- W2022154493 created "2016-06-24" @default.
- W2022154493 creator A5032227660 @default.
- W2022154493 creator A5073257171 @default.
- W2022154493 date "2005-01-01" @default.
- W2022154493 modified "2023-10-17" @default.
- W2022154493 title "Predicate abstraction in protocol verification" @default.
- W2022154493 cites W1491913687 @default.
- W2022154493 cites W1497571013 @default.
- W2022154493 cites W1517173520 @default.
- W2022154493 cites W153567890 @default.
- W2022154493 cites W2043100293 @default.
- W2022154493 cites W2104746250 @default.
- W2022154493 cites W2109964378 @default.
- W2022154493 cites W2162875689 @default.
- W2022154493 cites W2730369637 @default.
- W2022154493 cites W2807326819 @default.
- W2022154493 cites W2519796367 @default.
- W2022154493 cites W2535608263 @default.
- W2022154493 doi "https://doi.org/10.1109/contel.2005.185971" @default.
- W2022154493 hasPublicationYear "2005" @default.
- W2022154493 type Work @default.
- W2022154493 sameAs 2022154493 @default.
- W2022154493 citedByCount "1" @default.
- W2022154493 crossrefType "proceedings-article" @default.
- W2022154493 hasAuthorship W2022154493A5032227660 @default.
- W2022154493 hasAuthorship W2022154493A5073257171 @default.
- W2022154493 hasConcept C110251889 @default.
- W2022154493 hasConcept C111472728 @default.
- W2022154493 hasConcept C111498074 @default.
- W2022154493 hasConcept C11413529 @default.
- W2022154493 hasConcept C124304363 @default.
- W2022154493 hasConcept C132525143 @default.
- W2022154493 hasConcept C138885662 @default.
- W2022154493 hasConcept C140146324 @default.
- W2022154493 hasConcept C142724271 @default.
- W2022154493 hasConcept C199360897 @default.
- W2022154493 hasConcept C204787440 @default.
- W2022154493 hasConcept C2779907942 @default.
- W2022154493 hasConcept C2780385302 @default.
- W2022154493 hasConcept C2780654840 @default.
- W2022154493 hasConcept C30888246 @default.
- W2022154493 hasConcept C41008148 @default.
- W2022154493 hasConcept C71924100 @default.
- W2022154493 hasConcept C80444323 @default.
- W2022154493 hasConceptScore W2022154493C110251889 @default.
- W2022154493 hasConceptScore W2022154493C111472728 @default.
- W2022154493 hasConceptScore W2022154493C111498074 @default.
- W2022154493 hasConceptScore W2022154493C11413529 @default.
- W2022154493 hasConceptScore W2022154493C124304363 @default.
- W2022154493 hasConceptScore W2022154493C132525143 @default.
- W2022154493 hasConceptScore W2022154493C138885662 @default.
- W2022154493 hasConceptScore W2022154493C140146324 @default.
- W2022154493 hasConceptScore W2022154493C142724271 @default.
- W2022154493 hasConceptScore W2022154493C199360897 @default.
- W2022154493 hasConceptScore W2022154493C204787440 @default.
- W2022154493 hasConceptScore W2022154493C2779907942 @default.
- W2022154493 hasConceptScore W2022154493C2780385302 @default.
- W2022154493 hasConceptScore W2022154493C2780654840 @default.
- W2022154493 hasConceptScore W2022154493C30888246 @default.
- W2022154493 hasConceptScore W2022154493C41008148 @default.
- W2022154493 hasConceptScore W2022154493C71924100 @default.
- W2022154493 hasConceptScore W2022154493C80444323 @default.
- W2022154493 hasLocation W20221544931 @default.
- W2022154493 hasOpenAccess W2022154493 @default.
- W2022154493 hasPrimaryLocation W20221544931 @default.
- W2022154493 hasRelatedWork W1548505328 @default.
- W2022154493 hasRelatedWork W2003959877 @default.
- W2022154493 hasRelatedWork W2022154493 @default.
- W2022154493 hasRelatedWork W2096561672 @default.
- W2022154493 hasRelatedWork W2098376757 @default.
- W2022154493 hasRelatedWork W2117685859 @default.
- W2022154493 hasRelatedWork W2149977550 @default.
- W2022154493 hasRelatedWork W2181384782 @default.
- W2022154493 hasRelatedWork W2611025373 @default.
- W2022154493 hasRelatedWork W2968229194 @default.
- W2022154493 isParatext "false" @default.
- W2022154493 isRetracted "false" @default.
- W2022154493 magId "2022154493" @default.
- W2022154493 workType "article" @default.