Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489749161> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1489749161 endingPage "518" @default.
- W1489749161 startingPage "504" @default.
- W1489749161 abstract "Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system satisfies a formal specification of this behavior. Many systems of interest are open, in the sense that their behavior depends on the interaction with their environment. The model checking problem for finite–state open systems (called module checking) has been intensively studied in the literature. In this paper, we focus on open pushdown systems and we study the related model–checking problem (pushdown module checking, for short) with respect to properties expressed by CTL and CTL* formulas. We show that pushdown module checking against CTL (resp., CTL*) is 2Exptime-complete (resp., 3Exptime-complete). Moreover, we prove that for a fixed CTL* formula, the problem is Exptime-complete." @default.
- W1489749161 created "2016-06-24" @default.
- W1489749161 creator A5000697088 @default.
- W1489749161 creator A5055415505 @default.
- W1489749161 creator A5086034910 @default.
- W1489749161 date "2005-01-01" @default.
- W1489749161 modified "2023-09-25" @default.
- W1489749161 title "Pushdown Module Checking" @default.
- W1489749161 cites W1557750304 @default.
- W1489749161 cites W1567730556 @default.
- W1489749161 cites W1589224558 @default.
- W1489749161 cites W1590315663 @default.
- W1489749161 cites W1593428110 @default.
- W1489749161 cites W1678564987 @default.
- W1489749161 cites W1725438563 @default.
- W1489749161 cites W1969404042 @default.
- W1489749161 cites W1971416129 @default.
- W1489749161 cites W1988808695 @default.
- W1489749161 cites W2004306067 @default.
- W1489749161 cites W2033071128 @default.
- W1489749161 cites W2124876285 @default.
- W1489749161 cites W2163151383 @default.
- W1489749161 cites W2170933628 @default.
- W1489749161 cites W260642817 @default.
- W1489749161 cites W2911298563 @default.
- W1489749161 cites W2913210435 @default.
- W1489749161 cites W4241108585 @default.
- W1489749161 doi "https://doi.org/10.1007/11591191_35" @default.
- W1489749161 hasPublicationYear "2005" @default.
- W1489749161 type Work @default.
- W1489749161 sameAs 1489749161 @default.
- W1489749161 citedByCount "13" @default.
- W1489749161 countsByYear W14897491612014 @default.
- W1489749161 countsByYear W14897491612015 @default.
- W1489749161 countsByYear W14897491612018 @default.
- W1489749161 crossrefType "book-chapter" @default.
- W1489749161 hasAuthorship W1489749161A5000697088 @default.
- W1489749161 hasAuthorship W1489749161A5055415505 @default.
- W1489749161 hasAuthorship W1489749161A5086034910 @default.
- W1489749161 hasBestOaLocation W14897491612 @default.
- W1489749161 hasConcept C199360897 @default.
- W1489749161 hasConcept C41008148 @default.
- W1489749161 hasConceptScore W1489749161C199360897 @default.
- W1489749161 hasConceptScore W1489749161C41008148 @default.
- W1489749161 hasLocation W14897491611 @default.
- W1489749161 hasLocation W14897491612 @default.
- W1489749161 hasOpenAccess W1489749161 @default.
- W1489749161 hasPrimaryLocation W14897491611 @default.
- W1489749161 hasRelatedWork W1527862632 @default.
- W1489749161 hasRelatedWork W2109507516 @default.
- W1489749161 hasRelatedWork W2112962394 @default.
- W1489749161 hasRelatedWork W2118300983 @default.
- W1489749161 hasRelatedWork W2135396778 @default.
- W1489749161 hasRelatedWork W2382501300 @default.
- W1489749161 hasRelatedWork W2740990710 @default.
- W1489749161 hasRelatedWork W3137189469 @default.
- W1489749161 hasRelatedWork W4235530921 @default.
- W1489749161 hasRelatedWork W4243252198 @default.
- W1489749161 isParatext "false" @default.
- W1489749161 isRetracted "false" @default.
- W1489749161 magId "1489749161" @default.
- W1489749161 workType "book-chapter" @default.