Matches in SemOpenAlex for { <https://semopenalex.org/work/W156616570> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W156616570 endingPage "32" @default.
- W156616570 startingPage "17" @default.
- W156616570 abstract "Higher-order (HO) model checking is the problem of deciding whether the tree generated by a higher-order recursion scheme (HORS) is accepted by an alternating parity tree automaton (APT). HO model checking has been shown to be decidable by Ong and recently applied to automated program verification. Practical HO model checkers have been, however, developed only for subclasses of APT such as trivial tree automata and weak APT. In this paper, we develop a practical model checking algorithm for the full class of APT, and implement an APT model checker for HORS. To our knowledge, this is the first model checker for HORS that can deal with the full class of APT. We also discuss its applications to program verification." @default.
- W156616570 created "2016-06-24" @default.
- W156616570 creator A5024057796 @default.
- W156616570 creator A5084941435 @default.
- W156616570 creator A5086778134 @default.
- W156616570 date "2013-01-01" @default.
- W156616570 modified "2023-10-18" @default.
- W156616570 title "Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes" @default.
- W156616570 cites W1492262998 @default.
- W156616570 cites W1505081061 @default.
- W156616570 cites W1526785305 @default.
- W156616570 cites W152732218 @default.
- W156616570 cites W1540015096 @default.
- W156616570 cites W1549097197 @default.
- W156616570 cites W1640973035 @default.
- W156616570 cites W1816620374 @default.
- W156616570 cites W1981638222 @default.
- W156616570 cites W2014771515 @default.
- W156616570 cites W2036753951 @default.
- W156616570 cites W2087756506 @default.
- W156616570 cites W2102644483 @default.
- W156616570 cites W2134918221 @default.
- W156616570 cites W2146549539 @default.
- W156616570 cites W2149335820 @default.
- W156616570 cites W2169417140 @default.
- W156616570 cites W4247446425 @default.
- W156616570 cites W4249452185 @default.
- W156616570 doi "https://doi.org/10.1007/978-3-319-03542-0_2" @default.
- W156616570 hasPublicationYear "2013" @default.
- W156616570 type Work @default.
- W156616570 sameAs 156616570 @default.
- W156616570 citedByCount "12" @default.
- W156616570 countsByYear W1566165702014 @default.
- W156616570 countsByYear W1566165702015 @default.
- W156616570 countsByYear W1566165702016 @default.
- W156616570 countsByYear W1566165702018 @default.
- W156616570 countsByYear W1566165702019 @default.
- W156616570 countsByYear W1566165702021 @default.
- W156616570 crossrefType "book-chapter" @default.
- W156616570 hasAuthorship W156616570A5024057796 @default.
- W156616570 hasAuthorship W156616570A5084941435 @default.
- W156616570 hasAuthorship W156616570A5086778134 @default.
- W156616570 hasConcept C109214941 @default.
- W156616570 hasConcept C110251889 @default.
- W156616570 hasConcept C112505250 @default.
- W156616570 hasConcept C113174947 @default.
- W156616570 hasConcept C11413529 @default.
- W156616570 hasConcept C114614502 @default.
- W156616570 hasConcept C121332964 @default.
- W156616570 hasConcept C153269930 @default.
- W156616570 hasConcept C154945302 @default.
- W156616570 hasConcept C168773036 @default.
- W156616570 hasConcept C199360897 @default.
- W156616570 hasConcept C2777151079 @default.
- W156616570 hasConcept C2777212361 @default.
- W156616570 hasConcept C2778583254 @default.
- W156616570 hasConcept C33923547 @default.
- W156616570 hasConcept C41008148 @default.
- W156616570 hasConcept C80444323 @default.
- W156616570 hasConceptScore W156616570C109214941 @default.
- W156616570 hasConceptScore W156616570C110251889 @default.
- W156616570 hasConceptScore W156616570C112505250 @default.
- W156616570 hasConceptScore W156616570C113174947 @default.
- W156616570 hasConceptScore W156616570C11413529 @default.
- W156616570 hasConceptScore W156616570C114614502 @default.
- W156616570 hasConceptScore W156616570C121332964 @default.
- W156616570 hasConceptScore W156616570C153269930 @default.
- W156616570 hasConceptScore W156616570C154945302 @default.
- W156616570 hasConceptScore W156616570C168773036 @default.
- W156616570 hasConceptScore W156616570C199360897 @default.
- W156616570 hasConceptScore W156616570C2777151079 @default.
- W156616570 hasConceptScore W156616570C2777212361 @default.
- W156616570 hasConceptScore W156616570C2778583254 @default.
- W156616570 hasConceptScore W156616570C33923547 @default.
- W156616570 hasConceptScore W156616570C41008148 @default.
- W156616570 hasConceptScore W156616570C80444323 @default.
- W156616570 hasLocation W1566165701 @default.
- W156616570 hasOpenAccess W156616570 @default.
- W156616570 hasPrimaryLocation W1566165701 @default.
- W156616570 hasRelatedWork W1540015096 @default.
- W156616570 hasRelatedWork W1582302366 @default.
- W156616570 hasRelatedWork W1626184434 @default.
- W156616570 hasRelatedWork W20126484 @default.
- W156616570 hasRelatedWork W2014118070 @default.
- W156616570 hasRelatedWork W2074675632 @default.
- W156616570 hasRelatedWork W2925957576 @default.
- W156616570 hasRelatedWork W4285164036 @default.
- W156616570 hasRelatedWork W4293399599 @default.
- W156616570 hasRelatedWork W4319653765 @default.
- W156616570 isParatext "false" @default.
- W156616570 isRetracted "false" @default.
- W156616570 magId "156616570" @default.
- W156616570 workType "book-chapter" @default.