Matches in SemOpenAlex for { <https://semopenalex.org/work/W1523736181> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1523736181 endingPage "248" @default.
- W1523736181 startingPage "236" @default.
- W1523736181 abstract "Temporal logic and ω-automata are two ofthe common frameworks for specifying properties of reactive systems in modern verification tools. In this paper we unify these two frameworks in the linear time setting for the specification of stutter-invariant properties, which are used in the context ofpartial-order verification. We will observe a simple variant oflinear time propositional temporal logic (LTL) for expressing exactly the stutter-invariant ω-regular languages. The complexity of, and algorithms for, all the relevant decision procedures for this logic remain essentially the same as with ordinary LTL. In particular, satisfiability remains PSPACE-complete and temporal formulas can be converted to at most exponential sized ω-automata. More importantly, we show that the improved practical algorithms for conversion ofL TL formulas to automata, used in model-checking tools such as SPIN, which typically produce much smaller than worst-case output, can be modified to incorporate this extension to LTL with the same benefits. In this way, the specification mechanism in temporal logic-based tools that employ partial-order reduction can be extended to incorporate all stutter-invariant ω-regular properties." @default.
- W1523736181 created "2016-06-24" @default.
- W1523736181 creator A5003946901 @default.
- W1523736181 date "1999-01-01" @default.
- W1523736181 modified "2023-09-25" @default.
- W1523736181 title "Stutter-Invariant Languages, ω-Automata, and Temporal Logic" @default.
- W1523736181 cites W1607782211 @default.
- W1523736181 cites W1612453857 @default.
- W1523736181 cites W1934074768 @default.
- W1523736181 cites W1965309410 @default.
- W1523736181 cites W1976773489 @default.
- W1523736181 cites W1990609140 @default.
- W1523736181 cites W2003227046 @default.
- W1523736181 cites W2013085432 @default.
- W1523736181 cites W2015688007 @default.
- W1523736181 cites W2023808162 @default.
- W1523736181 cites W2041743477 @default.
- W1523736181 cites W2082867148 @default.
- W1523736181 cites W2094912129 @default.
- W1523736181 cites W2115309705 @default.
- W1523736181 cites W2135457621 @default.
- W1523736181 cites W2161814552 @default.
- W1523736181 cites W2806619258 @default.
- W1523736181 doi "https://doi.org/10.1007/3-540-48683-6_22" @default.
- W1523736181 hasPublicationYear "1999" @default.
- W1523736181 type Work @default.
- W1523736181 sameAs 1523736181 @default.
- W1523736181 citedByCount "35" @default.
- W1523736181 countsByYear W15237361812013 @default.
- W1523736181 countsByYear W15237361812014 @default.
- W1523736181 countsByYear W15237361812015 @default.
- W1523736181 countsByYear W15237361812016 @default.
- W1523736181 countsByYear W15237361812019 @default.
- W1523736181 countsByYear W15237361812020 @default.
- W1523736181 crossrefType "book-chapter" @default.
- W1523736181 hasAuthorship W1523736181A5003946901 @default.
- W1523736181 hasBestOaLocation W15237361811 @default.
- W1523736181 hasConcept C110251889 @default.
- W1523736181 hasConcept C112505250 @default.
- W1523736181 hasConcept C11413529 @default.
- W1523736181 hasConcept C11648818 @default.
- W1523736181 hasConcept C162670838 @default.
- W1523736181 hasConcept C168773769 @default.
- W1523736181 hasConcept C190470478 @default.
- W1523736181 hasConcept C199360897 @default.
- W1523736181 hasConcept C25016198 @default.
- W1523736181 hasConcept C33923547 @default.
- W1523736181 hasConcept C37914503 @default.
- W1523736181 hasConcept C41008148 @default.
- W1523736181 hasConcept C4777664 @default.
- W1523736181 hasConcept C80444323 @default.
- W1523736181 hasConcept C94633896 @default.
- W1523736181 hasConceptScore W1523736181C110251889 @default.
- W1523736181 hasConceptScore W1523736181C112505250 @default.
- W1523736181 hasConceptScore W1523736181C11413529 @default.
- W1523736181 hasConceptScore W1523736181C11648818 @default.
- W1523736181 hasConceptScore W1523736181C162670838 @default.
- W1523736181 hasConceptScore W1523736181C168773769 @default.
- W1523736181 hasConceptScore W1523736181C190470478 @default.
- W1523736181 hasConceptScore W1523736181C199360897 @default.
- W1523736181 hasConceptScore W1523736181C25016198 @default.
- W1523736181 hasConceptScore W1523736181C33923547 @default.
- W1523736181 hasConceptScore W1523736181C37914503 @default.
- W1523736181 hasConceptScore W1523736181C41008148 @default.
- W1523736181 hasConceptScore W1523736181C4777664 @default.
- W1523736181 hasConceptScore W1523736181C80444323 @default.
- W1523736181 hasConceptScore W1523736181C94633896 @default.
- W1523736181 hasLocation W15237361811 @default.
- W1523736181 hasOpenAccess W1523736181 @default.
- W1523736181 hasPrimaryLocation W15237361811 @default.
- W1523736181 hasRelatedWork W1523736181 @default.
- W1523736181 hasRelatedWork W1546948343 @default.
- W1523736181 hasRelatedWork W1572612329 @default.
- W1523736181 hasRelatedWork W1968148067 @default.
- W1523736181 hasRelatedWork W2013878945 @default.
- W1523736181 hasRelatedWork W2051068608 @default.
- W1523736181 hasRelatedWork W2072341009 @default.
- W1523736181 hasRelatedWork W2560930356 @default.
- W1523736181 hasRelatedWork W3177466645 @default.
- W1523736181 hasRelatedWork W4200153695 @default.
- W1523736181 isParatext "false" @default.
- W1523736181 isRetracted "false" @default.
- W1523736181 magId "1523736181" @default.
- W1523736181 workType "book-chapter" @default.