Matches in SemOpenAlex for { <https://semopenalex.org/work/W3009792930> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3009792930 endingPage "967" @default.
- W3009792930 startingPage "953" @default.
- W3009792930 abstract "Network configuration verification enables operators to ensure that the network will behave as intended, prior to deployment of their configurations. Although techniques ranging from graph algorithms to SMT solvers have been proposed, scalable configuration verification with sufficient protocol support continues to be a challenge. In this paper, we show that by combining equivalence partitioning with explicit-state model checking, network configuration verification can be scaled significantly better than the state of the art, while still supporting a rich set of protocol features. We propose Plankton, which uses symbolic partitioning to manage large header spaces and efficient model checking to exhaustively explore protocol behavior. Thanks to a highly effective suite of optimizations including state hashing, partial order reduction, and policy-based pruning, Plankton successfully verifies policies in industrial-scale networks quickly and compactly, at times reaching a 10000$times$ speedup compared to the state of the art." @default.
- W3009792930 created "2020-03-13" @default.
- W3009792930 creator A5024567463 @default.
- W3009792930 creator A5035613166 @default.
- W3009792930 creator A5038897777 @default.
- W3009792930 creator A5061723484 @default.
- W3009792930 creator A5066308539 @default.
- W3009792930 date "2019-11-05" @default.
- W3009792930 modified "2023-09-23" @default.
- W3009792930 title "Plankton: Scalable network configuration verification through model checking" @default.
- W3009792930 hasPublicationYear "2019" @default.
- W3009792930 type Work @default.
- W3009792930 sameAs 3009792930 @default.
- W3009792930 citedByCount "2" @default.
- W3009792930 countsByYear W30097929302019 @default.
- W3009792930 countsByYear W30097929302020 @default.
- W3009792930 crossrefType "proceedings-article" @default.
- W3009792930 hasAuthorship W3009792930A5024567463 @default.
- W3009792930 hasAuthorship W3009792930A5035613166 @default.
- W3009792930 hasAuthorship W3009792930A5038897777 @default.
- W3009792930 hasAuthorship W3009792930A5061723484 @default.
- W3009792930 hasAuthorship W3009792930A5066308539 @default.
- W3009792930 hasConcept C110251889 @default.
- W3009792930 hasConcept C111919701 @default.
- W3009792930 hasConcept C120314980 @default.
- W3009792930 hasConcept C142724271 @default.
- W3009792930 hasConcept C173608175 @default.
- W3009792930 hasConcept C204787440 @default.
- W3009792930 hasConcept C2780385302 @default.
- W3009792930 hasConcept C41008148 @default.
- W3009792930 hasConcept C48044578 @default.
- W3009792930 hasConcept C71924100 @default.
- W3009792930 hasConcept C80444323 @default.
- W3009792930 hasConcept C94633896 @default.
- W3009792930 hasConceptScore W3009792930C110251889 @default.
- W3009792930 hasConceptScore W3009792930C111919701 @default.
- W3009792930 hasConceptScore W3009792930C120314980 @default.
- W3009792930 hasConceptScore W3009792930C142724271 @default.
- W3009792930 hasConceptScore W3009792930C173608175 @default.
- W3009792930 hasConceptScore W3009792930C204787440 @default.
- W3009792930 hasConceptScore W3009792930C2780385302 @default.
- W3009792930 hasConceptScore W3009792930C41008148 @default.
- W3009792930 hasConceptScore W3009792930C48044578 @default.
- W3009792930 hasConceptScore W3009792930C71924100 @default.
- W3009792930 hasConceptScore W3009792930C80444323 @default.
- W3009792930 hasConceptScore W3009792930C94633896 @default.
- W3009792930 hasLocation W30097929301 @default.
- W3009792930 hasOpenAccess W3009792930 @default.
- W3009792930 hasPrimaryLocation W30097929301 @default.
- W3009792930 hasRelatedWork W1007327090 @default.
- W3009792930 hasRelatedWork W1249296113 @default.
- W3009792930 hasRelatedWork W158224344 @default.
- W3009792930 hasRelatedWork W1675033504 @default.
- W3009792930 hasRelatedWork W1697123834 @default.
- W3009792930 hasRelatedWork W1882012874 @default.
- W3009792930 hasRelatedWork W1956515881 @default.
- W3009792930 hasRelatedWork W2115526539 @default.
- W3009792930 hasRelatedWork W2157122792 @default.
- W3009792930 hasRelatedWork W2188073520 @default.
- W3009792930 hasRelatedWork W2485543941 @default.
- W3009792930 hasRelatedWork W2488197787 @default.
- W3009792930 hasRelatedWork W2577367366 @default.
- W3009792930 hasRelatedWork W2729822660 @default.
- W3009792930 hasRelatedWork W2742515467 @default.
- W3009792930 hasRelatedWork W2795742902 @default.
- W3009792930 hasRelatedWork W2810860137 @default.
- W3009792930 hasRelatedWork W2945789152 @default.
- W3009792930 hasRelatedWork W2984811518 @default.
- W3009792930 hasRelatedWork W3017350605 @default.
- W3009792930 isParatext "false" @default.
- W3009792930 isRetracted "false" @default.
- W3009792930 magId "3009792930" @default.
- W3009792930 workType "article" @default.