Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107675344> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2107675344 endingPage "734" @default.
- W2107675344 startingPage "702" @default.
- W2107675344 abstract "Symmetry reduction methods exploit symmetry in a system in order to efficiently verify its temporal properties. Two problems may prevent the use of symmetry reduction in practice: (1) the property to be checked may distinguish symmetric states and hence not be preserved by the symmetry, and (2) the system may exhibit little or no symmetry. In this article, we present a general framework that addresses both of these problems. We introduce Guarded Annotated Quotient Structures for compactly representing the state space of systems even when those are asymmetric. We then present algorithms for checking any temporal property on such representations, including non-symmetric properties." @default.
- W2107675344 created "2016-06-24" @default.
- W2107675344 creator A5035821371 @default.
- W2107675344 creator A5069392259 @default.
- W2107675344 date "2004-07-01" @default.
- W2107675344 modified "2023-09-23" @default.
- W2107675344 title "Symmetry and reduced symmetry in model checking" @default.
- W2107675344 cites W1499167474 @default.
- W2107675344 cites W1822079664 @default.
- W2107675344 cites W2005836640 @default.
- W2107675344 cites W2006553351 @default.
- W2107675344 cites W2046066316 @default.
- W2107675344 cites W2055558998 @default.
- W2107675344 cites W2117189826 @default.
- W2107675344 cites W4250884204 @default.
- W2107675344 doi "https://doi.org/10.1145/1011508.1011511" @default.
- W2107675344 hasPublicationYear "2004" @default.
- W2107675344 type Work @default.
- W2107675344 sameAs 2107675344 @default.
- W2107675344 citedByCount "35" @default.
- W2107675344 countsByYear W21076753442012 @default.
- W2107675344 countsByYear W21076753442013 @default.
- W2107675344 countsByYear W21076753442014 @default.
- W2107675344 countsByYear W21076753442015 @default.
- W2107675344 countsByYear W21076753442016 @default.
- W2107675344 countsByYear W21076753442018 @default.
- W2107675344 crossrefType "journal-article" @default.
- W2107675344 hasAuthorship W2107675344A5035821371 @default.
- W2107675344 hasAuthorship W2107675344A5069392259 @default.
- W2107675344 hasBestOaLocation W21076753441 @default.
- W2107675344 hasConcept C105795698 @default.
- W2107675344 hasConcept C110251889 @default.
- W2107675344 hasConcept C111335779 @default.
- W2107675344 hasConcept C111472728 @default.
- W2107675344 hasConcept C11413529 @default.
- W2107675344 hasConcept C138885662 @default.
- W2107675344 hasConcept C165696696 @default.
- W2107675344 hasConcept C189950617 @default.
- W2107675344 hasConcept C199422724 @default.
- W2107675344 hasConcept C202444582 @default.
- W2107675344 hasConcept C2524010 @default.
- W2107675344 hasConcept C2779886137 @default.
- W2107675344 hasConcept C33923547 @default.
- W2107675344 hasConcept C38652104 @default.
- W2107675344 hasConcept C41008148 @default.
- W2107675344 hasConcept C48103436 @default.
- W2107675344 hasConcept C5534955 @default.
- W2107675344 hasConcept C72434380 @default.
- W2107675344 hasConcept C80444323 @default.
- W2107675344 hasConceptScore W2107675344C105795698 @default.
- W2107675344 hasConceptScore W2107675344C110251889 @default.
- W2107675344 hasConceptScore W2107675344C111335779 @default.
- W2107675344 hasConceptScore W2107675344C111472728 @default.
- W2107675344 hasConceptScore W2107675344C11413529 @default.
- W2107675344 hasConceptScore W2107675344C138885662 @default.
- W2107675344 hasConceptScore W2107675344C165696696 @default.
- W2107675344 hasConceptScore W2107675344C189950617 @default.
- W2107675344 hasConceptScore W2107675344C199422724 @default.
- W2107675344 hasConceptScore W2107675344C202444582 @default.
- W2107675344 hasConceptScore W2107675344C2524010 @default.
- W2107675344 hasConceptScore W2107675344C2779886137 @default.
- W2107675344 hasConceptScore W2107675344C33923547 @default.
- W2107675344 hasConceptScore W2107675344C38652104 @default.
- W2107675344 hasConceptScore W2107675344C41008148 @default.
- W2107675344 hasConceptScore W2107675344C48103436 @default.
- W2107675344 hasConceptScore W2107675344C5534955 @default.
- W2107675344 hasConceptScore W2107675344C72434380 @default.
- W2107675344 hasConceptScore W2107675344C80444323 @default.
- W2107675344 hasIssue "4" @default.
- W2107675344 hasLocation W21076753441 @default.
- W2107675344 hasOpenAccess W2107675344 @default.
- W2107675344 hasPrimaryLocation W21076753441 @default.
- W2107675344 hasRelatedWork W1519054335 @default.
- W2107675344 hasRelatedWork W1546995467 @default.
- W2107675344 hasRelatedWork W1572578464 @default.
- W2107675344 hasRelatedWork W1842616663 @default.
- W2107675344 hasRelatedWork W1868864221 @default.
- W2107675344 hasRelatedWork W1964116449 @default.
- W2107675344 hasRelatedWork W1972616446 @default.
- W2107675344 hasRelatedWork W2149299285 @default.
- W2107675344 hasRelatedWork W2493800215 @default.
- W2107675344 hasRelatedWork W2912560690 @default.
- W2107675344 hasVolume "26" @default.
- W2107675344 isParatext "false" @default.
- W2107675344 isRetracted "false" @default.
- W2107675344 magId "2107675344" @default.
- W2107675344 workType "article" @default.