Matches in SemOpenAlex for { <https://semopenalex.org/work/W76522493> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W76522493 endingPage "454" @default.
- W76522493 startingPage "440" @default.
- W76522493 abstract "In a previous work, we showed that a kind of ω-automata known as Transition-based Generalized Testing Automata (TGTA) can outperform the Büchi automata traditionally used for explicit model checking when verifying stutter-invariant properties. In this work, we investigate the use of these generalized testing automata to improve symbolic model checking of stutter-invariant LTL properties. We propose an efficient symbolic encoding of stuttering transitions in the product between a model and a TGTA. Saturation techniques available for decision diagrams then benefit from the presence of stuttering self-loops on all states of TGTA. Experimentation of this approach confirms that it outperforms the symbolic approach based on (transition-based) Generalized Büchi Automata." @default.
- W76522493 created "2016-06-24" @default.
- W76522493 creator A5025703844 @default.
- W76522493 creator A5033313993 @default.
- W76522493 creator A5039526664 @default.
- W76522493 creator A5042401314 @default.
- W76522493 date "2014-01-01" @default.
- W76522493 modified "2023-09-30" @default.
- W76522493 title "Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata" @default.
- W76522493 cites W125115239 @default.
- W76522493 cites W1482530017 @default.
- W76522493 cites W1486382412 @default.
- W76522493 cites W148757792 @default.
- W76522493 cites W1492929237 @default.
- W76522493 cites W1512310098 @default.
- W76522493 cites W1523736181 @default.
- W76522493 cites W1529237109 @default.
- W76522493 cites W1541059630 @default.
- W76522493 cites W1543164169 @default.
- W76522493 cites W1548402307 @default.
- W76522493 cites W174127068 @default.
- W76522493 cites W1850929791 @default.
- W76522493 cites W1986742819 @default.
- W76522493 cites W2041743477 @default.
- W76522493 cites W2079157601 @default.
- W76522493 cites W2133874828 @default.
- W76522493 cites W2911430074 @default.
- W76522493 cites W79217171 @default.
- W76522493 doi "https://doi.org/10.1007/978-3-642-54862-8_38" @default.
- W76522493 hasPublicationYear "2014" @default.
- W76522493 type Work @default.
- W76522493 sameAs 76522493 @default.
- W76522493 citedByCount "5" @default.
- W76522493 countsByYear W765224932015 @default.
- W76522493 countsByYear W765224932018 @default.
- W76522493 countsByYear W765224932019 @default.
- W76522493 crossrefType "book-chapter" @default.
- W76522493 hasAuthorship W76522493A5025703844 @default.
- W76522493 hasAuthorship W76522493A5033313993 @default.
- W76522493 hasAuthorship W76522493A5039526664 @default.
- W76522493 hasAuthorship W76522493A5042401314 @default.
- W76522493 hasBestOaLocation W765224931 @default.
- W76522493 hasConcept C110251889 @default.
- W76522493 hasConcept C11171543 @default.
- W76522493 hasConcept C112505250 @default.
- W76522493 hasConcept C11413529 @default.
- W76522493 hasConcept C138496976 @default.
- W76522493 hasConcept C15744967 @default.
- W76522493 hasConcept C190470478 @default.
- W76522493 hasConcept C2776095079 @default.
- W76522493 hasConcept C2781371259 @default.
- W76522493 hasConcept C33923547 @default.
- W76522493 hasConcept C37914503 @default.
- W76522493 hasConcept C41008148 @default.
- W76522493 hasConcept C80444323 @default.
- W76522493 hasConceptScore W76522493C110251889 @default.
- W76522493 hasConceptScore W76522493C11171543 @default.
- W76522493 hasConceptScore W76522493C112505250 @default.
- W76522493 hasConceptScore W76522493C11413529 @default.
- W76522493 hasConceptScore W76522493C138496976 @default.
- W76522493 hasConceptScore W76522493C15744967 @default.
- W76522493 hasConceptScore W76522493C190470478 @default.
- W76522493 hasConceptScore W76522493C2776095079 @default.
- W76522493 hasConceptScore W76522493C2781371259 @default.
- W76522493 hasConceptScore W76522493C33923547 @default.
- W76522493 hasConceptScore W76522493C37914503 @default.
- W76522493 hasConceptScore W76522493C41008148 @default.
- W76522493 hasConceptScore W76522493C80444323 @default.
- W76522493 hasLocation W765224931 @default.
- W76522493 hasLocation W765224932 @default.
- W76522493 hasLocation W765224933 @default.
- W76522493 hasOpenAccess W76522493 @default.
- W76522493 hasPrimaryLocation W765224931 @default.
- W76522493 hasRelatedWork W1860772589 @default.
- W76522493 hasRelatedWork W2004126468 @default.
- W76522493 hasRelatedWork W2151277984 @default.
- W76522493 hasRelatedWork W2152996796 @default.
- W76522493 hasRelatedWork W2571762577 @default.
- W76522493 hasRelatedWork W3015262272 @default.
- W76522493 hasRelatedWork W51650568 @default.
- W76522493 hasRelatedWork W76522493 @default.
- W76522493 hasRelatedWork W2500461980 @default.
- W76522493 hasRelatedWork W2751931981 @default.
- W76522493 isParatext "false" @default.
- W76522493 isRetracted "false" @default.
- W76522493 magId "76522493" @default.
- W76522493 workType "book-chapter" @default.