Matches in SemOpenAlex for { <https://semopenalex.org/work/W1547263332> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1547263332 endingPage "87" @default.
- W1547263332 startingPage "70" @default.
- W1547263332 abstract "Generalized STE (Symbolic Trajectory Evaluation) [,,] is a very significant extension of STE [,] that truly combines the efficiency, capacity and ease of use of STE with the ability of classic symbolic model checking for verifying a much richer set of properties []. GSTE provides a unified model checking framework that gives one the power to choose and seamlessly adjust the level of abstraction in a model as well as in a specification during a verification effort. This paper describes some of the techniques that made this possible using a simple FIFO example for illustration. Finally, a set of real life verification results is provided to strongly demonstrate the viability of GSTE as a new generation model checking solution for complex designs." @default.
- W1547263332 created "2016-06-24" @default.
- W1547263332 creator A5051882974 @default.
- W1547263332 creator A5052037169 @default.
- W1547263332 date "2002-01-01" @default.
- W1547263332 modified "2023-09-25" @default.
- W1547263332 title "Generalized Symbolic Trajectory Evaluation — Abstraction in Action" @default.
- W1547263332 cites W1509905890 @default.
- W1547263332 cites W1516936561 @default.
- W1547263332 cites W1578895382 @default.
- W1547263332 cites W1683908335 @default.
- W1547263332 cites W1972934510 @default.
- W1547263332 cites W1986558678 @default.
- W1547263332 cites W1987507597 @default.
- W1547263332 cites W2028225730 @default.
- W1547263332 cites W2083897388 @default.
- W1547263332 cites W2099873480 @default.
- W1547263332 cites W2111935954 @default.
- W1547263332 cites W2132055325 @default.
- W1547263332 cites W2134113233 @default.
- W1547263332 cites W2139691310 @default.
- W1547263332 cites W4242862993 @default.
- W1547263332 cites W4300021588 @default.
- W1547263332 doi "https://doi.org/10.1007/3-540-36126-x_5" @default.
- W1547263332 hasPublicationYear "2002" @default.
- W1547263332 type Work @default.
- W1547263332 sameAs 1547263332 @default.
- W1547263332 citedByCount "42" @default.
- W1547263332 countsByYear W15472633322015 @default.
- W1547263332 countsByYear W15472633322016 @default.
- W1547263332 countsByYear W15472633322018 @default.
- W1547263332 crossrefType "book-chapter" @default.
- W1547263332 hasAuthorship W1547263332A5051882974 @default.
- W1547263332 hasAuthorship W1547263332A5052037169 @default.
- W1547263332 hasConcept C110251889 @default.
- W1547263332 hasConcept C111472728 @default.
- W1547263332 hasConcept C111498074 @default.
- W1547263332 hasConcept C121332964 @default.
- W1547263332 hasConcept C124304363 @default.
- W1547263332 hasConcept C1276947 @default.
- W1547263332 hasConcept C13662910 @default.
- W1547263332 hasConcept C138885662 @default.
- W1547263332 hasConcept C177264268 @default.
- W1547263332 hasConcept C199360897 @default.
- W1547263332 hasConcept C23123167 @default.
- W1547263332 hasConcept C2777145635 @default.
- W1547263332 hasConcept C2778029271 @default.
- W1547263332 hasConcept C2780586882 @default.
- W1547263332 hasConcept C30888246 @default.
- W1547263332 hasConcept C41008148 @default.
- W1547263332 hasConcept C80444323 @default.
- W1547263332 hasConceptScore W1547263332C110251889 @default.
- W1547263332 hasConceptScore W1547263332C111472728 @default.
- W1547263332 hasConceptScore W1547263332C111498074 @default.
- W1547263332 hasConceptScore W1547263332C121332964 @default.
- W1547263332 hasConceptScore W1547263332C124304363 @default.
- W1547263332 hasConceptScore W1547263332C1276947 @default.
- W1547263332 hasConceptScore W1547263332C13662910 @default.
- W1547263332 hasConceptScore W1547263332C138885662 @default.
- W1547263332 hasConceptScore W1547263332C177264268 @default.
- W1547263332 hasConceptScore W1547263332C199360897 @default.
- W1547263332 hasConceptScore W1547263332C23123167 @default.
- W1547263332 hasConceptScore W1547263332C2777145635 @default.
- W1547263332 hasConceptScore W1547263332C2778029271 @default.
- W1547263332 hasConceptScore W1547263332C2780586882 @default.
- W1547263332 hasConceptScore W1547263332C30888246 @default.
- W1547263332 hasConceptScore W1547263332C41008148 @default.
- W1547263332 hasConceptScore W1547263332C80444323 @default.
- W1547263332 hasLocation W15472633321 @default.
- W1547263332 hasOpenAccess W1547263332 @default.
- W1547263332 hasPrimaryLocation W15472633321 @default.
- W1547263332 hasRelatedWork W1547263332 @default.
- W1547263332 hasRelatedWork W1572578464 @default.
- W1547263332 hasRelatedWork W1630138018 @default.
- W1547263332 hasRelatedWork W2127574686 @default.
- W1547263332 hasRelatedWork W2140364234 @default.
- W1547263332 hasRelatedWork W2143015677 @default.
- W1547263332 hasRelatedWork W2156717832 @default.
- W1547263332 hasRelatedWork W278680301 @default.
- W1547263332 hasRelatedWork W4283696430 @default.
- W1547263332 hasRelatedWork W2474628799 @default.
- W1547263332 isParatext "false" @default.
- W1547263332 isRetracted "false" @default.
- W1547263332 magId "1547263332" @default.
- W1547263332 workType "book-chapter" @default.