Matches in SemOpenAlex for { <https://semopenalex.org/work/W39397616> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W39397616 abstract "The efficient Binary Decision Diagram algorithm presented in Brace, Rudell and Bryant 1990 is modified to operate in a lazy or demand-driven fashion. We show how this new approach benefits the area of symbolic model checking by reducing the amount of state-space that needs to be evaluated. The need for a lazy or delayed BDD-based manipulation system, specifically to aid the reasoning about symbolic systems, was identified in Bryant 1992 as a method of tackling the state-space explosion problem. Often the model checking of systems only uses a very small part of the BDD (Bryant 1992). This is especially true for the generation of model checking counter-examples (Clarke et al 1994). However the strict nature of traditional BDD algorithms means that the whole BDD-representation of a system has to be evaluated. Since this new technique only evaluates the nodes of the BDD that are required, it can potentially manipulate significantly larger and more complex systems than could be represented before. We give space and time complexity comparisons between the traditional and lazy algorithms and show how it affects the practical evaluation of state-space especially for model checking purposes." @default.
- W39397616 created "2016-06-24" @default.
- W39397616 creator A5001118198 @default.
- W39397616 creator A5090714312 @default.
- W39397616 date "1998-04-01" @default.
- W39397616 modified "2023-09-27" @default.
- W39397616 title "Compositional BDD Construction: A Lazy Algorithm" @default.
- W39397616 hasPublicationYear "1998" @default.
- W39397616 type Work @default.
- W39397616 sameAs 39397616 @default.
- W39397616 citedByCount "1" @default.
- W39397616 crossrefType "journal-article" @default.
- W39397616 hasAuthorship W39397616A5001118198 @default.
- W39397616 hasAuthorship W39397616A5090714312 @default.
- W39397616 hasConcept C105795698 @default.
- W39397616 hasConcept C110251889 @default.
- W39397616 hasConcept C111919701 @default.
- W39397616 hasConcept C11413529 @default.
- W39397616 hasConcept C17744445 @default.
- W39397616 hasConcept C199539241 @default.
- W39397616 hasConcept C2776359362 @default.
- W39397616 hasConcept C2778572836 @default.
- W39397616 hasConcept C3309909 @default.
- W39397616 hasConcept C33923547 @default.
- W39397616 hasConcept C41008148 @default.
- W39397616 hasConcept C48103436 @default.
- W39397616 hasConcept C72434380 @default.
- W39397616 hasConcept C80444323 @default.
- W39397616 hasConcept C94625758 @default.
- W39397616 hasConceptScore W39397616C105795698 @default.
- W39397616 hasConceptScore W39397616C110251889 @default.
- W39397616 hasConceptScore W39397616C111919701 @default.
- W39397616 hasConceptScore W39397616C11413529 @default.
- W39397616 hasConceptScore W39397616C17744445 @default.
- W39397616 hasConceptScore W39397616C199539241 @default.
- W39397616 hasConceptScore W39397616C2776359362 @default.
- W39397616 hasConceptScore W39397616C2778572836 @default.
- W39397616 hasConceptScore W39397616C3309909 @default.
- W39397616 hasConceptScore W39397616C33923547 @default.
- W39397616 hasConceptScore W39397616C41008148 @default.
- W39397616 hasConceptScore W39397616C48103436 @default.
- W39397616 hasConceptScore W39397616C72434380 @default.
- W39397616 hasConceptScore W39397616C80444323 @default.
- W39397616 hasConceptScore W39397616C94625758 @default.
- W39397616 hasLocation W393976161 @default.
- W39397616 hasOpenAccess W39397616 @default.
- W39397616 hasPrimaryLocation W393976161 @default.
- W39397616 hasRelatedWork W12807312 @default.
- W39397616 hasRelatedWork W1666348158 @default.
- W39397616 hasRelatedWork W1830436759 @default.
- W39397616 hasRelatedWork W2006508316 @default.
- W39397616 hasRelatedWork W2007273498 @default.
- W39397616 hasRelatedWork W2033657926 @default.
- W39397616 hasRelatedWork W2041641737 @default.
- W39397616 hasRelatedWork W2079778730 @default.
- W39397616 hasRelatedWork W2092753191 @default.
- W39397616 hasRelatedWork W2104473263 @default.
- W39397616 hasRelatedWork W2404963320 @default.
- W39397616 hasRelatedWork W2406139021 @default.
- W39397616 hasRelatedWork W2527815112 @default.
- W39397616 hasRelatedWork W2569392808 @default.
- W39397616 hasRelatedWork W2735687434 @default.
- W39397616 hasRelatedWork W2810533955 @default.
- W39397616 hasRelatedWork W2951494809 @default.
- W39397616 hasRelatedWork W3205479231 @default.
- W39397616 hasRelatedWork W61850108 @default.
- W39397616 hasRelatedWork W98495262 @default.
- W39397616 isParatext "false" @default.
- W39397616 isRetracted "false" @default.
- W39397616 magId "39397616" @default.
- W39397616 workType "article" @default.