Matches in SemOpenAlex for { <https://semopenalex.org/work/W2178818485> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2178818485 endingPage "222" @default.
- W2178818485 startingPage "207" @default.
- W2178818485 abstract "We present a technique for checking aggregation abstractions automatically using a finite-state enumerator. The abstraction relation between implementation and specification is checked on-the-fly and the verification requires examining no more states than checking a simple invariant property. This technique can be used alone for verification of finite-state protocols, or as preparation for a more general aggregation proof using a general-purpose theorem-prover. We illustrate the technique on the cache coherence protocol in the Flash multiprocessor system." @default.
- W2178818485 created "2016-06-24" @default.
- W2178818485 creator A5009458897 @default.
- W2178818485 creator A5044713006 @default.
- W2178818485 creator A5053071492 @default.
- W2178818485 date "1997-01-01" @default.
- W2178818485 modified "2023-09-28" @default.
- W2178818485 title "Automatic Checking of Aggregation Abstractions Through State Enumeration" @default.
- W2178818485 cites W1514983780 @default.
- W2178818485 cites W1808035063 @default.
- W2178818485 cites W2039853888 @default.
- W2178818485 cites W2080267935 @default.
- W2178818485 cites W2117189826 @default.
- W2178818485 cites W2132107743 @default.
- W2178818485 cites W30961909 @default.
- W2178818485 cites W3135659769 @default.
- W2178818485 cites W4234177455 @default.
- W2178818485 cites W4250884204 @default.
- W2178818485 cites W4300021588 @default.
- W2178818485 doi "https://doi.org/10.1007/978-0-387-35271-8_13" @default.
- W2178818485 hasPublicationYear "1997" @default.
- W2178818485 type Work @default.
- W2178818485 sameAs 2178818485 @default.
- W2178818485 citedByCount "0" @default.
- W2178818485 crossrefType "book-chapter" @default.
- W2178818485 hasAuthorship W2178818485A5009458897 @default.
- W2178818485 hasAuthorship W2178818485A5044713006 @default.
- W2178818485 hasAuthorship W2178818485A5053071492 @default.
- W2178818485 hasBestOaLocation W21788184851 @default.
- W2178818485 hasConcept C110251889 @default.
- W2178818485 hasConcept C111472728 @default.
- W2178818485 hasConcept C111498074 @default.
- W2178818485 hasConcept C115537543 @default.
- W2178818485 hasConcept C118615104 @default.
- W2178818485 hasConcept C124304363 @default.
- W2178818485 hasConcept C138885662 @default.
- W2178818485 hasConcept C141917322 @default.
- W2178818485 hasConcept C142724271 @default.
- W2178818485 hasConcept C156340839 @default.
- W2178818485 hasConcept C173608175 @default.
- W2178818485 hasConcept C189783530 @default.
- W2178818485 hasConcept C190470478 @default.
- W2178818485 hasConcept C199360897 @default.
- W2178818485 hasConcept C204787440 @default.
- W2178818485 hasConcept C206880738 @default.
- W2178818485 hasConcept C2780385302 @default.
- W2178818485 hasConcept C2780586882 @default.
- W2178818485 hasConcept C30888246 @default.
- W2178818485 hasConcept C33923547 @default.
- W2178818485 hasConcept C37914503 @default.
- W2178818485 hasConcept C38556500 @default.
- W2178818485 hasConcept C41008148 @default.
- W2178818485 hasConcept C48103436 @default.
- W2178818485 hasConcept C71924100 @default.
- W2178818485 hasConcept C80444323 @default.
- W2178818485 hasConceptScore W2178818485C110251889 @default.
- W2178818485 hasConceptScore W2178818485C111472728 @default.
- W2178818485 hasConceptScore W2178818485C111498074 @default.
- W2178818485 hasConceptScore W2178818485C115537543 @default.
- W2178818485 hasConceptScore W2178818485C118615104 @default.
- W2178818485 hasConceptScore W2178818485C124304363 @default.
- W2178818485 hasConceptScore W2178818485C138885662 @default.
- W2178818485 hasConceptScore W2178818485C141917322 @default.
- W2178818485 hasConceptScore W2178818485C142724271 @default.
- W2178818485 hasConceptScore W2178818485C156340839 @default.
- W2178818485 hasConceptScore W2178818485C173608175 @default.
- W2178818485 hasConceptScore W2178818485C189783530 @default.
- W2178818485 hasConceptScore W2178818485C190470478 @default.
- W2178818485 hasConceptScore W2178818485C199360897 @default.
- W2178818485 hasConceptScore W2178818485C204787440 @default.
- W2178818485 hasConceptScore W2178818485C206880738 @default.
- W2178818485 hasConceptScore W2178818485C2780385302 @default.
- W2178818485 hasConceptScore W2178818485C2780586882 @default.
- W2178818485 hasConceptScore W2178818485C30888246 @default.
- W2178818485 hasConceptScore W2178818485C33923547 @default.
- W2178818485 hasConceptScore W2178818485C37914503 @default.
- W2178818485 hasConceptScore W2178818485C38556500 @default.
- W2178818485 hasConceptScore W2178818485C41008148 @default.
- W2178818485 hasConceptScore W2178818485C48103436 @default.
- W2178818485 hasConceptScore W2178818485C71924100 @default.
- W2178818485 hasConceptScore W2178818485C80444323 @default.
- W2178818485 hasLocation W21788184851 @default.
- W2178818485 hasOpenAccess W2178818485 @default.
- W2178818485 hasPrimaryLocation W21788184851 @default.
- W2178818485 hasRelatedWork W142178511 @default.
- W2178818485 hasRelatedWork W1845114988 @default.
- W2178818485 hasRelatedWork W1983371115 @default.
- W2178818485 hasRelatedWork W1991474412 @default.
- W2178818485 hasRelatedWork W2127574686 @default.
- W2178818485 hasRelatedWork W2154822190 @default.
- W2178818485 hasRelatedWork W2178818485 @default.
- W2178818485 hasRelatedWork W2261601900 @default.
- W2178818485 hasRelatedWork W295290875 @default.
- W2178818485 hasRelatedWork W2474628799 @default.
- W2178818485 isParatext "false" @default.
- W2178818485 isRetracted "false" @default.
- W2178818485 magId "2178818485" @default.
- W2178818485 workType "book-chapter" @default.