Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154967452> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2154967452 endingPage "353" @default.
- W2154967452 startingPage "345" @default.
- W2154967452 abstract "Symbolic trajectory evaluation (STE) is a lattice-based model checking technology that uses a form of symbolic simulation. It offers an alternative to 'classical' symbolic model checking that, within its domain of applicability, often is much easier to use and much less sensitive to state explosion. The limitation of STE, however, is that it can only express and verify properties over finite time intervals. In this paper, we present a generalized STE (GSTE) that extends STE style model checking to properties over infinite time intervals. We further strengthen the power of GSTE by introducing a form of backward symbolic simulation. It can be shown that these extensions together with a notion of fairness give STE the power to verify all /spl omega/-regular properties. The generalization also gives one the power to choose and adjust the level of model abstraction in a verification effort. We shall use a large-scale industrial memory design to demonstrate the strength and practicality of GSTE." @default.
- W2154967452 created "2016-06-24" @default.
- W2154967452 creator A5042326566 @default.
- W2154967452 creator A5052037169 @default.
- W2154967452 date "2003-06-01" @default.
- W2154967452 modified "2023-09-26" @default.
- W2154967452 title "Introduction to generalized symbolic trajectory evaluation" @default.
- W2154967452 cites W1986558678 @default.
- W2154967452 cites W2099873480 @default.
- W2154967452 cites W2132055325 @default.
- W2154967452 cites W2134113233 @default.
- W2154967452 cites W2139691310 @default.
- W2154967452 cites W4231007409 @default.
- W2154967452 cites W4245295230 @default.
- W2154967452 cites W4249723655 @default.
- W2154967452 doi "https://doi.org/10.1109/tvlsi.2003.812320" @default.
- W2154967452 hasPublicationYear "2003" @default.
- W2154967452 type Work @default.
- W2154967452 sameAs 2154967452 @default.
- W2154967452 citedByCount "51" @default.
- W2154967452 countsByYear W21549674522012 @default.
- W2154967452 countsByYear W21549674522013 @default.
- W2154967452 countsByYear W21549674522014 @default.
- W2154967452 countsByYear W21549674522015 @default.
- W2154967452 countsByYear W21549674522017 @default.
- W2154967452 countsByYear W21549674522018 @default.
- W2154967452 countsByYear W21549674522019 @default.
- W2154967452 countsByYear W21549674522022 @default.
- W2154967452 countsByYear W21549674522023 @default.
- W2154967452 crossrefType "journal-article" @default.
- W2154967452 hasAuthorship W2154967452A5042326566 @default.
- W2154967452 hasAuthorship W2154967452A5052037169 @default.
- W2154967452 hasConcept C110251889 @default.
- W2154967452 hasConcept C111472728 @default.
- W2154967452 hasConcept C11171543 @default.
- W2154967452 hasConcept C11413529 @default.
- W2154967452 hasConcept C121332964 @default.
- W2154967452 hasConcept C124304363 @default.
- W2154967452 hasConcept C1276947 @default.
- W2154967452 hasConcept C134306372 @default.
- W2154967452 hasConcept C13662910 @default.
- W2154967452 hasConcept C138885662 @default.
- W2154967452 hasConcept C15744967 @default.
- W2154967452 hasConcept C177148314 @default.
- W2154967452 hasConcept C23123167 @default.
- W2154967452 hasConcept C24890656 @default.
- W2154967452 hasConcept C2776095079 @default.
- W2154967452 hasConcept C2781204021 @default.
- W2154967452 hasConcept C33923547 @default.
- W2154967452 hasConcept C41008148 @default.
- W2154967452 hasConcept C80444323 @default.
- W2154967452 hasConceptScore W2154967452C110251889 @default.
- W2154967452 hasConceptScore W2154967452C111472728 @default.
- W2154967452 hasConceptScore W2154967452C11171543 @default.
- W2154967452 hasConceptScore W2154967452C11413529 @default.
- W2154967452 hasConceptScore W2154967452C121332964 @default.
- W2154967452 hasConceptScore W2154967452C124304363 @default.
- W2154967452 hasConceptScore W2154967452C1276947 @default.
- W2154967452 hasConceptScore W2154967452C134306372 @default.
- W2154967452 hasConceptScore W2154967452C13662910 @default.
- W2154967452 hasConceptScore W2154967452C138885662 @default.
- W2154967452 hasConceptScore W2154967452C15744967 @default.
- W2154967452 hasConceptScore W2154967452C177148314 @default.
- W2154967452 hasConceptScore W2154967452C23123167 @default.
- W2154967452 hasConceptScore W2154967452C24890656 @default.
- W2154967452 hasConceptScore W2154967452C2776095079 @default.
- W2154967452 hasConceptScore W2154967452C2781204021 @default.
- W2154967452 hasConceptScore W2154967452C33923547 @default.
- W2154967452 hasConceptScore W2154967452C41008148 @default.
- W2154967452 hasConceptScore W2154967452C80444323 @default.
- W2154967452 hasIssue "3" @default.
- W2154967452 hasLocation W21549674521 @default.
- W2154967452 hasOpenAccess W2154967452 @default.
- W2154967452 hasPrimaryLocation W21549674521 @default.
- W2154967452 hasRelatedWork W1547263332 @default.
- W2154967452 hasRelatedWork W1572578464 @default.
- W2154967452 hasRelatedWork W1852586398 @default.
- W2154967452 hasRelatedWork W2040761469 @default.
- W2154967452 hasRelatedWork W2079251676 @default.
- W2154967452 hasRelatedWork W2127574686 @default.
- W2154967452 hasRelatedWork W2156717832 @default.
- W2154967452 hasRelatedWork W2168616826 @default.
- W2154967452 hasRelatedWork W2177212599 @default.
- W2154967452 hasRelatedWork W278680301 @default.
- W2154967452 hasVolume "11" @default.
- W2154967452 isParatext "false" @default.
- W2154967452 isRetracted "false" @default.
- W2154967452 magId "2154967452" @default.
- W2154967452 workType "article" @default.