Matches in SemOpenAlex for { <https://semopenalex.org/work/W8705220> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W8705220 endingPage "449" @default.
- W8705220 startingPage "434" @default.
- W8705220 abstract "Pushdown systems (PDS) are well adapted to model sequential programs with (possibly recursive) procedure calls. Therefore, it is important to have efficient model checking algorithms for PDSs. We consider in this paper CTL model checking for PDSs. We consider the standard CTL model checking problem where whether a configuration of a PDS satisfies an atomic proposition or not depends only on the control state of the configuration. We consider also CTL model checking with regular valuations, where the set of configurations in which an atomic proposition holds is a regular language. We reduce these problems to the emptiness problem in Alternating Buchi Pushdown Systems, and we give an algorithm to solve this emptiness problem. Our algorithms are more efficient than the other existing algorithms for CTL model checking for PDSs in the literature. We implemented our techniques in a tool, and we applied it to different case studies. Our results are encouraging. In particular, we were able to find bugs in linux source code." @default.
- W8705220 created "2016-06-24" @default.
- W8705220 creator A5027425633 @default.
- W8705220 creator A5044579457 @default.
- W8705220 date "2011-01-01" @default.
- W8705220 modified "2023-09-30" @default.
- W8705220 title "Efficient CTL Model-Checking for Pushdown Systems" @default.
- W8705220 cites W1489658028 @default.
- W8705220 cites W1489749161 @default.
- W8705220 cites W1491036809 @default.
- W8705220 cites W1508260233 @default.
- W8705220 cites W1514446453 @default.
- W8705220 cites W1557750304 @default.
- W8705220 cites W1560595963 @default.
- W8705220 cites W1568797836 @default.
- W8705220 cites W1589224558 @default.
- W8705220 cites W1590891429 @default.
- W8705220 cites W1809956864 @default.
- W8705220 cites W1972164030 @default.
- W8705220 cites W1997450827 @default.
- W8705220 cites W2024395666 @default.
- W8705220 cites W2068462394 @default.
- W8705220 cites W2087431796 @default.
- W8705220 cites W2092229972 @default.
- W8705220 cites W2114132089 @default.
- W8705220 cites W2128453996 @default.
- W8705220 cites W260642817 @default.
- W8705220 cites W2911298563 @default.
- W8705220 cites W4229692082 @default.
- W8705220 doi "https://doi.org/10.1007/978-3-642-23217-6_29" @default.
- W8705220 hasPublicationYear "2011" @default.
- W8705220 type Work @default.
- W8705220 sameAs 8705220 @default.
- W8705220 citedByCount "14" @default.
- W8705220 countsByYear W87052202012 @default.
- W8705220 countsByYear W87052202013 @default.
- W8705220 countsByYear W87052202014 @default.
- W8705220 countsByYear W87052202015 @default.
- W8705220 countsByYear W87052202016 @default.
- W8705220 countsByYear W87052202017 @default.
- W8705220 countsByYear W87052202018 @default.
- W8705220 crossrefType "book-chapter" @default.
- W8705220 hasAuthorship W8705220A5027425633 @default.
- W8705220 hasAuthorship W8705220A5044579457 @default.
- W8705220 hasConcept C110251889 @default.
- W8705220 hasConcept C147969180 @default.
- W8705220 hasConcept C154317977 @default.
- W8705220 hasConcept C185592680 @default.
- W8705220 hasConcept C199360897 @default.
- W8705220 hasConcept C202751555 @default.
- W8705220 hasConcept C41008148 @default.
- W8705220 hasConcept C55493867 @default.
- W8705220 hasConcept C80444323 @default.
- W8705220 hasConceptScore W8705220C110251889 @default.
- W8705220 hasConceptScore W8705220C147969180 @default.
- W8705220 hasConceptScore W8705220C154317977 @default.
- W8705220 hasConceptScore W8705220C185592680 @default.
- W8705220 hasConceptScore W8705220C199360897 @default.
- W8705220 hasConceptScore W8705220C202751555 @default.
- W8705220 hasConceptScore W8705220C41008148 @default.
- W8705220 hasConceptScore W8705220C55493867 @default.
- W8705220 hasConceptScore W8705220C80444323 @default.
- W8705220 hasLocation W87052201 @default.
- W8705220 hasOpenAccess W8705220 @default.
- W8705220 hasPrimaryLocation W87052201 @default.
- W8705220 hasRelatedWork W1583364777 @default.
- W8705220 hasRelatedWork W1874424006 @default.
- W8705220 hasRelatedWork W2037416037 @default.
- W8705220 hasRelatedWork W2040233837 @default.
- W8705220 hasRelatedWork W2136741886 @default.
- W8705220 hasRelatedWork W2151898527 @default.
- W8705220 hasRelatedWork W2288787028 @default.
- W8705220 hasRelatedWork W2356566217 @default.
- W8705220 hasRelatedWork W4214723139 @default.
- W8705220 hasRelatedWork W4240265263 @default.
- W8705220 isParatext "false" @default.
- W8705220 isRetracted "false" @default.
- W8705220 magId "8705220" @default.
- W8705220 workType "book-chapter" @default.