Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153676937> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2153676937 abstract "Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) by representing formulae which are suitable for first-order model checking able to handle large datapath circuits. In this paper, we propose a reduction approach to improve MDGs model checking. We use a reduction platform based on combining MDGs with the rewriting engine of the HOL theorem prover. The idea is to prune the transition relation of the design using pre-proved theorems and lemmas from the specification given at system level. Then, the actual proof of temporal MDG formulae will be achieved by the MDGs model checker." @default.
- W2153676937 created "2016-06-24" @default.
- W2153676937 creator A5010015399 @default.
- W2153676937 creator A5032928854 @default.
- W2153676937 creator A5041607429 @default.
- W2153676937 date "2008-01-01" @default.
- W2153676937 modified "2023-09-25" @default.
- W2153676937 title "Multiway Decision Graphs Reduction Approach based on the HOL Theorem Prover" @default.
- W2153676937 cites W132560685 @default.
- W2153676937 cites W1484366641 @default.
- W2153676937 cites W149934527 @default.
- W2153676937 cites W1510368738 @default.
- W2153676937 cites W1521083034 @default.
- W2153676937 cites W1547100201 @default.
- W2153676937 cites W1555814309 @default.
- W2153676937 cites W1577504746 @default.
- W2153676937 cites W1582385421 @default.
- W2153676937 cites W1586338668 @default.
- W2153676937 cites W174127401 @default.
- W2153676937 cites W1917745538 @default.
- W2153676937 cites W1934074768 @default.
- W2153676937 cites W1992768155 @default.
- W2153676937 cites W2006553351 @default.
- W2153676937 cites W2041180772 @default.
- W2153676937 cites W2043100293 @default.
- W2153676937 cites W2080267935 @default.
- W2153676937 cites W2116840272 @default.
- W2153676937 cites W2164186251 @default.
- W2153676937 cites W2167668895 @default.
- W2153676937 cites W2471308051 @default.
- W2153676937 cites W3151527711 @default.
- W2153676937 cites W2463501546 @default.
- W2153676937 doi "https://doi.org/10.14236/ewic/vecos2008.2" @default.
- W2153676937 hasPublicationYear "2008" @default.
- W2153676937 type Work @default.
- W2153676937 sameAs 2153676937 @default.
- W2153676937 citedByCount "1" @default.
- W2153676937 crossrefType "proceedings-article" @default.
- W2153676937 hasAuthorship W2153676937A5010015399 @default.
- W2153676937 hasAuthorship W2153676937A5032928854 @default.
- W2153676937 hasAuthorship W2153676937A5041607429 @default.
- W2153676937 hasBestOaLocation W21536769371 @default.
- W2153676937 hasConcept C110251889 @default.
- W2153676937 hasConcept C111335779 @default.
- W2153676937 hasConcept C111498074 @default.
- W2153676937 hasConcept C11413529 @default.
- W2153676937 hasConcept C118615104 @default.
- W2153676937 hasConcept C154690210 @default.
- W2153676937 hasConcept C173608175 @default.
- W2153676937 hasConcept C17435882 @default.
- W2153676937 hasConcept C199360897 @default.
- W2153676937 hasConcept C206880738 @default.
- W2153676937 hasConcept C2524010 @default.
- W2153676937 hasConcept C25343380 @default.
- W2153676937 hasConcept C2781198647 @default.
- W2153676937 hasConcept C3309909 @default.
- W2153676937 hasConcept C33923547 @default.
- W2153676937 hasConcept C41008148 @default.
- W2153676937 hasConcept C77088390 @default.
- W2153676937 hasConcept C80444323 @default.
- W2153676937 hasConceptScore W2153676937C110251889 @default.
- W2153676937 hasConceptScore W2153676937C111335779 @default.
- W2153676937 hasConceptScore W2153676937C111498074 @default.
- W2153676937 hasConceptScore W2153676937C11413529 @default.
- W2153676937 hasConceptScore W2153676937C118615104 @default.
- W2153676937 hasConceptScore W2153676937C154690210 @default.
- W2153676937 hasConceptScore W2153676937C173608175 @default.
- W2153676937 hasConceptScore W2153676937C17435882 @default.
- W2153676937 hasConceptScore W2153676937C199360897 @default.
- W2153676937 hasConceptScore W2153676937C206880738 @default.
- W2153676937 hasConceptScore W2153676937C2524010 @default.
- W2153676937 hasConceptScore W2153676937C25343380 @default.
- W2153676937 hasConceptScore W2153676937C2781198647 @default.
- W2153676937 hasConceptScore W2153676937C3309909 @default.
- W2153676937 hasConceptScore W2153676937C33923547 @default.
- W2153676937 hasConceptScore W2153676937C41008148 @default.
- W2153676937 hasConceptScore W2153676937C77088390 @default.
- W2153676937 hasConceptScore W2153676937C80444323 @default.
- W2153676937 hasLocation W21536769371 @default.
- W2153676937 hasOpenAccess W2153676937 @default.
- W2153676937 hasPrimaryLocation W21536769371 @default.
- W2153676937 hasRelatedWork W1491264396 @default.
- W2153676937 hasRelatedWork W1522305063 @default.
- W2153676937 hasRelatedWork W176364034 @default.
- W2153676937 hasRelatedWork W1802356660 @default.
- W2153676937 hasRelatedWork W2049967603 @default.
- W2153676937 hasRelatedWork W2125493547 @default.
- W2153676937 hasRelatedWork W2130433881 @default.
- W2153676937 hasRelatedWork W2153676937 @default.
- W2153676937 hasRelatedWork W2261601900 @default.
- W2153676937 hasRelatedWork W2973029119 @default.
- W2153676937 isParatext "false" @default.
- W2153676937 isRetracted "false" @default.
- W2153676937 magId "2153676937" @default.
- W2153676937 workType "article" @default.