Matches in SemOpenAlex for { <https://semopenalex.org/work/W1491036809> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1491036809 endingPage "247" @default.
- W1491036809 startingPage "232" @default.
- W1491036809 abstract "We study model checking problems for pushdown systems and linear time logics. We show that the global model checking problem (computing the set of configurations, reachable or not, that violate the formula) can be solved in $O({g_{cal P}}{g_{cal P}}^3{g_{cal B}}{g_{cal B}}^3)$ time and $O({g_{cal P}}{g_{cal P}}^2{g_{cal B}}{g_{cal B}}^2)$ space, where ${g_{cal P}}{g_{cal P}}$ and ${g_{cal B}}{g_{cal B}}$ are the size of the pushdown system and the size of a Büchi automaton for the negation of the formula. The global model checking problem for reachable configurations can be solved in $O({g_{cal P}}{g_{cal P}}^4{g_{cal B}}{g_{cal B}}^3)$ time and $O({g_{cal P}}{g_{cal P}}^4{g_{cal B}}{g_{cal B}}^2)$ space. In the case of pushdown systems with constant number of control states (relevant for our application), the complexity becomes $O({g_{cal P}}{g_{cal P}}{g_{cal B}}{g_{cal B}}^3)$ time and $O({g_{cal P}}{g_{cal P}}{g_{cal B}}{g_{cal B}}^2)$ space and $O({g_{cal P}}{g_{cal P}}^2{g_{cal B}}{g_{cal B}}^3)$ time and $O({g_{cal P}}{g_{cal P}}^2{g_{cal B}}{g_{cal B}}^2)$ space, respectively. We show applications of these results in the area of program analysis and present some experimental results." @default.
- W1491036809 created "2016-06-24" @default.
- W1491036809 creator A5004055821 @default.
- W1491036809 creator A5040146683 @default.
- W1491036809 creator A5062653045 @default.
- W1491036809 creator A5090378914 @default.
- W1491036809 date "2000-01-01" @default.
- W1491036809 modified "2023-10-01" @default.
- W1491036809 title "Efficient Algorithms for Model Checking Pushdown Systems" @default.
- W1491036809 cites W1491036809 @default.
- W1491036809 cites W1529785310 @default.
- W1491036809 cites W1560595963 @default.
- W1491036809 cites W1589224558 @default.
- W1491036809 cites W1590891429 @default.
- W1491036809 cites W1905205673 @default.
- W1491036809 cites W2118382442 @default.
- W1491036809 cites W2147248565 @default.
- W1491036809 doi "https://doi.org/10.1007/10722167_20" @default.
- W1491036809 hasPublicationYear "2000" @default.
- W1491036809 type Work @default.
- W1491036809 sameAs 1491036809 @default.
- W1491036809 citedByCount "285" @default.
- W1491036809 countsByYear W14910368092012 @default.
- W1491036809 countsByYear W14910368092013 @default.
- W1491036809 countsByYear W14910368092014 @default.
- W1491036809 countsByYear W14910368092015 @default.
- W1491036809 countsByYear W14910368092016 @default.
- W1491036809 countsByYear W14910368092017 @default.
- W1491036809 countsByYear W14910368092018 @default.
- W1491036809 countsByYear W14910368092019 @default.
- W1491036809 countsByYear W14910368092020 @default.
- W1491036809 countsByYear W14910368092021 @default.
- W1491036809 countsByYear W14910368092022 @default.
- W1491036809 countsByYear W14910368092023 @default.
- W1491036809 crossrefType "book-chapter" @default.
- W1491036809 hasAuthorship W1491036809A5004055821 @default.
- W1491036809 hasAuthorship W1491036809A5040146683 @default.
- W1491036809 hasAuthorship W1491036809A5062653045 @default.
- W1491036809 hasAuthorship W1491036809A5090378914 @default.
- W1491036809 hasBestOaLocation W14910368091 @default.
- W1491036809 hasConcept C110251889 @default.
- W1491036809 hasConcept C11413529 @default.
- W1491036809 hasConcept C114614502 @default.
- W1491036809 hasConcept C118615104 @default.
- W1491036809 hasConcept C121332964 @default.
- W1491036809 hasConcept C33923547 @default.
- W1491036809 hasConceptScore W1491036809C110251889 @default.
- W1491036809 hasConceptScore W1491036809C11413529 @default.
- W1491036809 hasConceptScore W1491036809C114614502 @default.
- W1491036809 hasConceptScore W1491036809C118615104 @default.
- W1491036809 hasConceptScore W1491036809C121332964 @default.
- W1491036809 hasConceptScore W1491036809C33923547 @default.
- W1491036809 hasLocation W14910368091 @default.
- W1491036809 hasOpenAccess W1491036809 @default.
- W1491036809 hasPrimaryLocation W14910368091 @default.
- W1491036809 hasRelatedWork W1421410134 @default.
- W1491036809 hasRelatedWork W1970195683 @default.
- W1491036809 hasRelatedWork W1978042415 @default.
- W1491036809 hasRelatedWork W1978225469 @default.
- W1491036809 hasRelatedWork W2000144448 @default.
- W1491036809 hasRelatedWork W2049729887 @default.
- W1491036809 hasRelatedWork W2076027639 @default.
- W1491036809 hasRelatedWork W2777094518 @default.
- W1491036809 hasRelatedWork W2799759016 @default.
- W1491036809 hasRelatedWork W3104631496 @default.
- W1491036809 isParatext "false" @default.
- W1491036809 isRetracted "false" @default.
- W1491036809 magId "1491036809" @default.
- W1491036809 workType "book-chapter" @default.