Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055558998> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2055558998 endingPage "638" @default.
- W2055558998 startingPage "617" @default.
- W2055558998 abstract "One useful technique for combating the state explosion problem is to exploit symmetry when performing temporal logic model checking. In previous work it is shown how, using some basic notions of group theory, symmetry may be exploited for the full range of correctness properties expressible in the very expressive temporal logic CTL*. Surprisingly, while fairness properties are readily expressible in CTL*, these methods are not powerful enough to admit any amelioration of state explosion, when fairness assumptions are involved. We show that it is nonetheless possible to handle fairness efficiently by trading some group theory for automata theory. Our automata-theoretic approach depends on detecting fair paths subtly encoded in a quotient structure whose arcs are annotated with permutations, by using a threaded structure that reflects coordinate shifts caused by the permutations." @default.
- W2055558998 created "2016-06-24" @default.
- W2055558998 creator A5022535511 @default.
- W2055558998 creator A5035821371 @default.
- W2055558998 date "1997-07-01" @default.
- W2055558998 modified "2023-10-17" @default.
- W2055558998 title "Utilizing symmetry when model-checking under fairness assumptions" @default.
- W2055558998 cites W1972065960 @default.
- W2055558998 cites W1975657455 @default.
- W2055558998 cites W1982900911 @default.
- W2055558998 cites W2016079448 @default.
- W2055558998 cites W2021711161 @default.
- W2055558998 cites W4232836483 @default.
- W2055558998 cites W4250884204 @default.
- W2055558998 doi "https://doi.org/10.1145/262004.262008" @default.
- W2055558998 hasPublicationYear "1997" @default.
- W2055558998 type Work @default.
- W2055558998 sameAs 2055558998 @default.
- W2055558998 citedByCount "70" @default.
- W2055558998 countsByYear W20555589982012 @default.
- W2055558998 countsByYear W20555589982014 @default.
- W2055558998 countsByYear W20555589982015 @default.
- W2055558998 countsByYear W20555589982018 @default.
- W2055558998 countsByYear W20555589982023 @default.
- W2055558998 crossrefType "journal-article" @default.
- W2055558998 hasAuthorship W2055558998A5022535511 @default.
- W2055558998 hasAuthorship W2055558998A5035821371 @default.
- W2055558998 hasConcept C110251889 @default.
- W2055558998 hasConcept C112505250 @default.
- W2055558998 hasConcept C11413529 @default.
- W2055558998 hasConcept C165696696 @default.
- W2055558998 hasConcept C199422724 @default.
- W2055558998 hasConcept C202444582 @default.
- W2055558998 hasConcept C25016198 @default.
- W2055558998 hasConcept C2524010 @default.
- W2055558998 hasConcept C2779886137 @default.
- W2055558998 hasConcept C33923547 @default.
- W2055558998 hasConcept C38652104 @default.
- W2055558998 hasConcept C41008148 @default.
- W2055558998 hasConcept C48103436 @default.
- W2055558998 hasConcept C55439883 @default.
- W2055558998 hasConcept C80444323 @default.
- W2055558998 hasConceptScore W2055558998C110251889 @default.
- W2055558998 hasConceptScore W2055558998C112505250 @default.
- W2055558998 hasConceptScore W2055558998C11413529 @default.
- W2055558998 hasConceptScore W2055558998C165696696 @default.
- W2055558998 hasConceptScore W2055558998C199422724 @default.
- W2055558998 hasConceptScore W2055558998C202444582 @default.
- W2055558998 hasConceptScore W2055558998C25016198 @default.
- W2055558998 hasConceptScore W2055558998C2524010 @default.
- W2055558998 hasConceptScore W2055558998C2779886137 @default.
- W2055558998 hasConceptScore W2055558998C33923547 @default.
- W2055558998 hasConceptScore W2055558998C38652104 @default.
- W2055558998 hasConceptScore W2055558998C41008148 @default.
- W2055558998 hasConceptScore W2055558998C48103436 @default.
- W2055558998 hasConceptScore W2055558998C55439883 @default.
- W2055558998 hasConceptScore W2055558998C80444323 @default.
- W2055558998 hasIssue "4" @default.
- W2055558998 hasLocation W20555589981 @default.
- W2055558998 hasOpenAccess W2055558998 @default.
- W2055558998 hasPrimaryLocation W20555589981 @default.
- W2055558998 hasRelatedWork W1527462432 @default.
- W2055558998 hasRelatedWork W1546948343 @default.
- W2055558998 hasRelatedWork W1630138018 @default.
- W2055558998 hasRelatedWork W1764099364 @default.
- W2055558998 hasRelatedWork W2055558998 @default.
- W2055558998 hasRelatedWork W2061372038 @default.
- W2055558998 hasRelatedWork W2268729304 @default.
- W2055558998 hasRelatedWork W2782719117 @default.
- W2055558998 hasRelatedWork W35569121 @default.
- W2055558998 hasRelatedWork W4288099681 @default.
- W2055558998 hasVolume "19" @default.
- W2055558998 isParatext "false" @default.
- W2055558998 isRetracted "false" @default.
- W2055558998 magId "2055558998" @default.
- W2055558998 workType "article" @default.