Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395049787> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2395049787 endingPage "96" @default.
- W2395049787 startingPage "87" @default.
- W2395049787 abstract "Black Box symbolic model checking is a method to check whether an incompletely specified circuit, in which some parts of the design have been replaced by ‘Black Boxes’, satisfies a CTL property regardless of the actual replacement of the Black Boxes. One possible application is model checking with abstraction where complex parts of the design (which are not really relevant for the property at hand) are put into Black Boxes in order to speed up the model checking run. However, due to its approximative nature, symbolic model checking for incomplete designs may be unable to provide proofs when the approximations are to coarse. In this paper we show how Black Box model checking can profit from information about the BlackBoxed parts given in form of so-called local component assumptions. The assumptions we use in this context are safety properties arguing about fixed time windows. Furthermore we will present a set of heuristic-based approaches to automatically select a subset of local component assumptions that is sufficient to prove or disprove a given CTL property." @default.
- W2395049787 created "2016-06-24" @default.
- W2395049787 creator A5002292119 @default.
- W2395049787 creator A5010328977 @default.
- W2395049787 creator A5059832105 @default.
- W2395049787 date "2009-01-01" @default.
- W2395049787 modified "2023-09-24" @default.
- W2395049787 title "Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions." @default.
- W2395049787 cites W1503170978 @default.
- W2395049787 cites W1554885925 @default.
- W2395049787 cites W1609729953 @default.
- W2395049787 cites W1973652588 @default.
- W2395049787 cites W2003227046 @default.
- W2395049787 cites W2080267935 @default.
- W2395049787 cites W2117189826 @default.
- W2395049787 cites W2121706505 @default.
- W2395049787 cites W2141068082 @default.
- W2395049787 cites W2158395308 @default.
- W2395049787 cites W3876687 @default.
- W2395049787 hasPublicationYear "2009" @default.
- W2395049787 type Work @default.
- W2395049787 sameAs 2395049787 @default.
- W2395049787 citedByCount "0" @default.
- W2395049787 crossrefType "journal-article" @default.
- W2395049787 hasAuthorship W2395049787A5002292119 @default.
- W2395049787 hasAuthorship W2395049787A5010328977 @default.
- W2395049787 hasAuthorship W2395049787A5059832105 @default.
- W2395049787 hasConcept C108710211 @default.
- W2395049787 hasConcept C110251889 @default.
- W2395049787 hasConcept C111472728 @default.
- W2395049787 hasConcept C11413529 @default.
- W2395049787 hasConcept C121332964 @default.
- W2395049787 hasConcept C124304363 @default.
- W2395049787 hasConcept C138885662 @default.
- W2395049787 hasConcept C151730666 @default.
- W2395049787 hasConcept C154945302 @default.
- W2395049787 hasConcept C168167062 @default.
- W2395049787 hasConcept C177264268 @default.
- W2395049787 hasConcept C189950617 @default.
- W2395049787 hasConcept C199360897 @default.
- W2395049787 hasConcept C23123167 @default.
- W2395049787 hasConcept C2524010 @default.
- W2395049787 hasConcept C2779343474 @default.
- W2395049787 hasConcept C33923547 @default.
- W2395049787 hasConcept C41008148 @default.
- W2395049787 hasConcept C80444323 @default.
- W2395049787 hasConcept C86803240 @default.
- W2395049787 hasConcept C94966114 @default.
- W2395049787 hasConcept C97355855 @default.
- W2395049787 hasConceptScore W2395049787C108710211 @default.
- W2395049787 hasConceptScore W2395049787C110251889 @default.
- W2395049787 hasConceptScore W2395049787C111472728 @default.
- W2395049787 hasConceptScore W2395049787C11413529 @default.
- W2395049787 hasConceptScore W2395049787C121332964 @default.
- W2395049787 hasConceptScore W2395049787C124304363 @default.
- W2395049787 hasConceptScore W2395049787C138885662 @default.
- W2395049787 hasConceptScore W2395049787C151730666 @default.
- W2395049787 hasConceptScore W2395049787C154945302 @default.
- W2395049787 hasConceptScore W2395049787C168167062 @default.
- W2395049787 hasConceptScore W2395049787C177264268 @default.
- W2395049787 hasConceptScore W2395049787C189950617 @default.
- W2395049787 hasConceptScore W2395049787C199360897 @default.
- W2395049787 hasConceptScore W2395049787C23123167 @default.
- W2395049787 hasConceptScore W2395049787C2524010 @default.
- W2395049787 hasConceptScore W2395049787C2779343474 @default.
- W2395049787 hasConceptScore W2395049787C33923547 @default.
- W2395049787 hasConceptScore W2395049787C41008148 @default.
- W2395049787 hasConceptScore W2395049787C80444323 @default.
- W2395049787 hasConceptScore W2395049787C86803240 @default.
- W2395049787 hasConceptScore W2395049787C94966114 @default.
- W2395049787 hasConceptScore W2395049787C97355855 @default.
- W2395049787 hasLocation W23950497871 @default.
- W2395049787 hasOpenAccess W2395049787 @default.
- W2395049787 hasPrimaryLocation W23950497871 @default.
- W2395049787 hasRelatedWork W1489383421 @default.
- W2395049787 hasRelatedWork W1510132912 @default.
- W2395049787 hasRelatedWork W1515516220 @default.
- W2395049787 hasRelatedWork W1589465728 @default.
- W2395049787 hasRelatedWork W1967431146 @default.
- W2395049787 hasRelatedWork W2005370174 @default.
- W2395049787 hasRelatedWork W2148079691 @default.
- W2395049787 hasRelatedWork W2163468719 @default.
- W2395049787 hasRelatedWork W2183074746 @default.
- W2395049787 hasRelatedWork W2257525443 @default.
- W2395049787 hasRelatedWork W2513970126 @default.
- W2395049787 hasRelatedWork W3024763028 @default.
- W2395049787 hasRelatedWork W3039766448 @default.
- W2395049787 hasRelatedWork W3081140620 @default.
- W2395049787 hasRelatedWork W2094873957 @default.
- W2395049787 hasRelatedWork W2182153662 @default.
- W2395049787 hasRelatedWork W2182515430 @default.
- W2395049787 hasRelatedWork W2222342155 @default.
- W2395049787 hasRelatedWork W2308522270 @default.
- W2395049787 hasRelatedWork W958356219 @default.
- W2395049787 isParatext "false" @default.
- W2395049787 isRetracted "false" @default.
- W2395049787 magId "2395049787" @default.
- W2395049787 workType "article" @default.