Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073812501> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2073812501 endingPage "417" @default.
- W2073812501 startingPage "412" @default.
- W2073812501 abstract "Computation Tree Logic (CTL) model checking is sensitive to state explosion. Conventionally, CTL semantics is defined over Kripke structure where each state is labelled with all the atomic propositions. For open systems, this necessitates input labeling of the states. In contrast, the common model, which is used for sequential circuit design, is the finite state machine (FSM) model, or equivalently, the state transition diagram (STD), where the inputs are associated not with the states but with the transitions. Thus, to use a conventional CTL model checker, the STD has to be converted first to the Kripke structure and then applying the model checking algorithm on the Kripke structure. The need for associating input labels to the states results in state explosion which finally tells upon the model checking efficiency. The paper presents the CTL semantics over STD structures and develops a model checking algorithm which works directly over the STD. A performance gain over conventional model checking by an exponential factor results in the process, especially for open systems." @default.
- W2073812501 created "2016-06-24" @default.
- W2073812501 creator A5000320359 @default.
- W2073812501 creator A5077947010 @default.
- W2073812501 creator A5082318292 @default.
- W2073812501 date "2004-01-27" @default.
- W2073812501 modified "2023-09-27" @default.
- W2073812501 title "Model checking on state transition diagram" @default.
- W2073812501 cites W1501062661 @default.
- W2073812501 cites W1503170978 @default.
- W2073812501 cites W1517173520 @default.
- W2073812501 cites W1607877490 @default.
- W2073812501 cites W1845519667 @default.
- W2073812501 cites W1924318152 @default.
- W2073812501 cites W2080267935 @default.
- W2073812501 cites W2099120582 @default.
- W2073812501 cites W2105199621 @default.
- W2073812501 cites W2340735175 @default.
- W2073812501 cites W2913210435 @default.
- W2073812501 cites W2913425508 @default.
- W2073812501 cites W2154230112 @default.
- W2073812501 doi "https://doi.org/10.5555/1015090.1015194" @default.
- W2073812501 hasPublicationYear "2004" @default.
- W2073812501 type Work @default.
- W2073812501 sameAs 2073812501 @default.
- W2073812501 citedByCount "3" @default.
- W2073812501 countsByYear W20738125012015 @default.
- W2073812501 crossrefType "proceedings-article" @default.
- W2073812501 hasAuthorship W2073812501A5000320359 @default.
- W2073812501 hasAuthorship W2073812501A5077947010 @default.
- W2073812501 hasAuthorship W2073812501A5082318292 @default.
- W2073812501 hasConcept C110251889 @default.
- W2073812501 hasConcept C11413529 @default.
- W2073812501 hasConcept C147969180 @default.
- W2073812501 hasConcept C154317977 @default.
- W2073812501 hasConcept C161913894 @default.
- W2073812501 hasConcept C167822520 @default.
- W2073812501 hasConcept C184337299 @default.
- W2073812501 hasConcept C185592680 @default.
- W2073812501 hasConcept C198008173 @default.
- W2073812501 hasConcept C199360897 @default.
- W2073812501 hasConcept C202751555 @default.
- W2073812501 hasConcept C25016198 @default.
- W2073812501 hasConcept C30888246 @default.
- W2073812501 hasConcept C41008148 @default.
- W2073812501 hasConcept C48103436 @default.
- W2073812501 hasConcept C55493867 @default.
- W2073812501 hasConcept C80444323 @default.
- W2073812501 hasConceptScore W2073812501C110251889 @default.
- W2073812501 hasConceptScore W2073812501C11413529 @default.
- W2073812501 hasConceptScore W2073812501C147969180 @default.
- W2073812501 hasConceptScore W2073812501C154317977 @default.
- W2073812501 hasConceptScore W2073812501C161913894 @default.
- W2073812501 hasConceptScore W2073812501C167822520 @default.
- W2073812501 hasConceptScore W2073812501C184337299 @default.
- W2073812501 hasConceptScore W2073812501C185592680 @default.
- W2073812501 hasConceptScore W2073812501C198008173 @default.
- W2073812501 hasConceptScore W2073812501C199360897 @default.
- W2073812501 hasConceptScore W2073812501C202751555 @default.
- W2073812501 hasConceptScore W2073812501C25016198 @default.
- W2073812501 hasConceptScore W2073812501C30888246 @default.
- W2073812501 hasConceptScore W2073812501C41008148 @default.
- W2073812501 hasConceptScore W2073812501C48103436 @default.
- W2073812501 hasConceptScore W2073812501C55493867 @default.
- W2073812501 hasConceptScore W2073812501C80444323 @default.
- W2073812501 hasLocation W20738125011 @default.
- W2073812501 hasOpenAccess W2073812501 @default.
- W2073812501 hasPrimaryLocation W20738125011 @default.
- W2073812501 hasRelatedWork W1541411615 @default.
- W2073812501 hasRelatedWork W1547855370 @default.
- W2073812501 hasRelatedWork W1551070491 @default.
- W2073812501 hasRelatedWork W1562871366 @default.
- W2073812501 hasRelatedWork W1574850141 @default.
- W2073812501 hasRelatedWork W1585262231 @default.
- W2073812501 hasRelatedWork W1591388659 @default.
- W2073812501 hasRelatedWork W1597499909 @default.
- W2073812501 hasRelatedWork W1602503234 @default.
- W2073812501 hasRelatedWork W1813719546 @default.
- W2073812501 hasRelatedWork W1975657455 @default.
- W2073812501 hasRelatedWork W2015307578 @default.
- W2073812501 hasRelatedWork W2023733779 @default.
- W2073812501 hasRelatedWork W2099120582 @default.
- W2073812501 hasRelatedWork W2354386485 @default.
- W2073812501 hasRelatedWork W2357835153 @default.
- W2073812501 hasRelatedWork W2364063221 @default.
- W2073812501 hasRelatedWork W2371423934 @default.
- W2073812501 hasRelatedWork W2386289764 @default.
- W2073812501 hasRelatedWork W3100117479 @default.
- W2073812501 isParatext "false" @default.
- W2073812501 isRetracted "false" @default.
- W2073812501 magId "2073812501" @default.
- W2073812501 workType "article" @default.