Matches in SemOpenAlex for { <https://semopenalex.org/work/W2093544990> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2093544990 abstract "Debugging significantly slows down the design process of complex systems. Only limited tool support is available and often fixing one problem leads to finding the next one. Here, we propose an approach that integrates formal verification with diagnosis. The approach is based on Quantified Boolean Formulas (QBF) and ensures, that counterexamples of high quality are returned. Moreover, the diagnosis algorithm only returns fault candidates that can fix all counterexamples. By this, the total number of fault candidates decreases and less iterations between verification and debugging are required." @default.
- W2093544990 created "2016-06-24" @default.
- W2093544990 creator A5008766097 @default.
- W2093544990 creator A5011969206 @default.
- W2093544990 creator A5071742136 @default.
- W2093544990 date "2010-05-01" @default.
- W2093544990 modified "2023-09-26" @default.
- W2093544990 title "Using QBF to increase accuracy of SAT-based debugging" @default.
- W2093544990 cites W1496518193 @default.
- W2093544990 cites W1511845115 @default.
- W2093544990 cites W1821427360 @default.
- W2093544990 cites W1979903718 @default.
- W2093544990 cites W1985900990 @default.
- W2093544990 cites W2042813319 @default.
- W2093544990 cites W2108309071 @default.
- W2093544990 cites W2110123236 @default.
- W2093544990 cites W2129538349 @default.
- W2093544990 cites W2163601989 @default.
- W2093544990 cites W2165097265 @default.
- W2093544990 cites W2170224888 @default.
- W2093544990 cites W2724603638 @default.
- W2093544990 cites W3149912375 @default.
- W2093544990 cites W4231708524 @default.
- W2093544990 cites W4236067551 @default.
- W2093544990 doi "https://doi.org/10.1109/iscas.2010.5537506" @default.
- W2093544990 hasPublicationYear "2010" @default.
- W2093544990 type Work @default.
- W2093544990 sameAs 2093544990 @default.
- W2093544990 citedByCount "17" @default.
- W2093544990 countsByYear W20935449902012 @default.
- W2093544990 countsByYear W20935449902013 @default.
- W2093544990 countsByYear W20935449902014 @default.
- W2093544990 countsByYear W20935449902015 @default.
- W2093544990 countsByYear W20935449902016 @default.
- W2093544990 countsByYear W20935449902017 @default.
- W2093544990 countsByYear W20935449902019 @default.
- W2093544990 crossrefType "proceedings-article" @default.
- W2093544990 hasAuthorship W2093544990A5008766097 @default.
- W2093544990 hasAuthorship W2093544990A5011969206 @default.
- W2093544990 hasAuthorship W2093544990A5071742136 @default.
- W2093544990 hasBestOaLocation W20935449902 @default.
- W2093544990 hasConcept C110251889 @default.
- W2093544990 hasConcept C11413529 @default.
- W2093544990 hasConcept C118615104 @default.
- W2093544990 hasConcept C127313418 @default.
- W2093544990 hasConcept C136388014 @default.
- W2093544990 hasConcept C162838799 @default.
- W2093544990 hasConcept C165205528 @default.
- W2093544990 hasConcept C168065819 @default.
- W2093544990 hasConcept C175551986 @default.
- W2093544990 hasConcept C199360897 @default.
- W2093544990 hasConcept C200415742 @default.
- W2093544990 hasConcept C33923547 @default.
- W2093544990 hasConcept C41008148 @default.
- W2093544990 hasConcept C80444323 @default.
- W2093544990 hasConcept C98045186 @default.
- W2093544990 hasConceptScore W2093544990C110251889 @default.
- W2093544990 hasConceptScore W2093544990C11413529 @default.
- W2093544990 hasConceptScore W2093544990C118615104 @default.
- W2093544990 hasConceptScore W2093544990C127313418 @default.
- W2093544990 hasConceptScore W2093544990C136388014 @default.
- W2093544990 hasConceptScore W2093544990C162838799 @default.
- W2093544990 hasConceptScore W2093544990C165205528 @default.
- W2093544990 hasConceptScore W2093544990C168065819 @default.
- W2093544990 hasConceptScore W2093544990C175551986 @default.
- W2093544990 hasConceptScore W2093544990C199360897 @default.
- W2093544990 hasConceptScore W2093544990C200415742 @default.
- W2093544990 hasConceptScore W2093544990C33923547 @default.
- W2093544990 hasConceptScore W2093544990C41008148 @default.
- W2093544990 hasConceptScore W2093544990C80444323 @default.
- W2093544990 hasConceptScore W2093544990C98045186 @default.
- W2093544990 hasLocation W20935449901 @default.
- W2093544990 hasLocation W20935449902 @default.
- W2093544990 hasOpenAccess W2093544990 @default.
- W2093544990 hasPrimaryLocation W20935449901 @default.
- W2093544990 hasRelatedWork W1579177548 @default.
- W2093544990 hasRelatedWork W1587224678 @default.
- W2093544990 hasRelatedWork W1601811574 @default.
- W2093544990 hasRelatedWork W2018029774 @default.
- W2093544990 hasRelatedWork W2093544990 @default.
- W2093544990 hasRelatedWork W2151898527 @default.
- W2093544990 hasRelatedWork W2740174432 @default.
- W2093544990 hasRelatedWork W2887668474 @default.
- W2093544990 hasRelatedWork W2944390283 @default.
- W2093544990 hasRelatedWork W4231460484 @default.
- W2093544990 isParatext "false" @default.
- W2093544990 isRetracted "false" @default.
- W2093544990 magId "2093544990" @default.
- W2093544990 workType "article" @default.