Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038864046> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2038864046 abstract "Model checking is widely used in verifying properties of concurrent systems. As an improvement, symbolic model checking uses OBDDs to alleviate the state explosion problem. However, the size of OBDDs greatly increases with the system becoming larger and more complex. In symbolic computation Wu's method is efficient to solve algebraic equations, and has succeeded in geometry theorem proving. In this paper, we present a framework to apply Wu's method to symbolic model checking. Briefly, symbolic model checking is carried out by using Wu's method to calculate the characteristic sets of polynomials that represent Kripke structures as well as CTL formulas. This is a new approach to model checking, and is a new successful application of Wu's method." @default.
- W2038864046 created "2016-06-24" @default.
- W2038864046 creator A5030041377 @default.
- W2038864046 creator A5050539312 @default.
- W2038864046 date "2005-07-24" @default.
- W2038864046 modified "2023-09-27" @default.
- W2038864046 title "Application of Wu's method to symbolic model checking" @default.
- W2038864046 cites W2046213250 @default.
- W2038864046 cites W2067949762 @default.
- W2038864046 cites W2077378514 @default.
- W2038864046 cites W2080267935 @default.
- W2038864046 cites W2096455207 @default.
- W2038864046 cites W2097649661 @default.
- W2038864046 cites W2115309705 @default.
- W2038864046 cites W2127271657 @default.
- W2038864046 cites W2133088975 @default.
- W2038864046 cites W2141472133 @default.
- W2038864046 cites W2149479807 @default.
- W2038864046 cites W4234682643 @default.
- W2038864046 cites W4248084437 @default.
- W2038864046 cites W4300021588 @default.
- W2038864046 doi "https://doi.org/10.1145/1073884.1073918" @default.
- W2038864046 hasPublicationYear "2005" @default.
- W2038864046 type Work @default.
- W2038864046 sameAs 2038864046 @default.
- W2038864046 citedByCount "8" @default.
- W2038864046 countsByYear W20388640462015 @default.
- W2038864046 crossrefType "proceedings-article" @default.
- W2038864046 hasAuthorship W2038864046A5030041377 @default.
- W2038864046 hasAuthorship W2038864046A5050539312 @default.
- W2038864046 hasConcept C110251889 @default.
- W2038864046 hasConcept C199360897 @default.
- W2038864046 hasConcept C23123167 @default.
- W2038864046 hasConcept C41008148 @default.
- W2038864046 hasConceptScore W2038864046C110251889 @default.
- W2038864046 hasConceptScore W2038864046C199360897 @default.
- W2038864046 hasConceptScore W2038864046C23123167 @default.
- W2038864046 hasConceptScore W2038864046C41008148 @default.
- W2038864046 hasLocation W20388640461 @default.
- W2038864046 hasOpenAccess W2038864046 @default.
- W2038864046 hasPrimaryLocation W20388640461 @default.
- W2038864046 hasRelatedWork W1479736339 @default.
- W2038864046 hasRelatedWork W1583364777 @default.
- W2038864046 hasRelatedWork W1599483650 @default.
- W2038864046 hasRelatedWork W169955824 @default.
- W2038864046 hasRelatedWork W1978951759 @default.
- W2038864046 hasRelatedWork W2138161962 @default.
- W2038864046 hasRelatedWork W2151898527 @default.
- W2038864046 hasRelatedWork W47563837 @default.
- W2038864046 hasRelatedWork W98028116 @default.
- W2038864046 hasRelatedWork W1894736207 @default.
- W2038864046 isParatext "false" @default.
- W2038864046 isRetracted "false" @default.
- W2038864046 magId "2038864046" @default.
- W2038864046 workType "article" @default.