Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569576087> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1569576087 endingPage "204" @default.
- W1569576087 startingPage "190" @default.
- W1569576087 abstract "Symbolic Trajectory Evaluation (STE) is a powerful technique for model checking. It is based on 3-valued symbolic simulation, using 0,1 and X (”unknown”). The X value is used to abstract away parts of the circuit. The abstraction is derived from the user’s specification. Currently the process of abstraction and refinement in STE is performed manually. This paper presents an automatic refinement technique for STE. The technique is based on a clever selection of constraints that are added to the specification so that on the one hand the semantics of the original specification is preserved, and on the other hand, the part of the state space in which the ”unknown” result is received is significantly decreased or totally eliminated. In addition, this paper raises the problem of vacuity of passed and failed specifications. This problem was never discussed in the framework of STE. We describe when an STE specification may vacuously pass or fail, and propose a method for vacuity detection in STE." @default.
- W1569576087 created "2016-06-24" @default.
- W1569576087 creator A5039919911 @default.
- W1569576087 creator A5043936415 @default.
- W1569576087 date "2006-01-01" @default.
- W1569576087 modified "2023-09-27" @default.
- W1569576087 title "Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation" @default.
- W1569576087 cites W1509905890 @default.
- W1569576087 cites W1547263332 @default.
- W1569576087 cites W1569576087 @default.
- W1569576087 cites W1571484390 @default.
- W1569576087 cites W1785980509 @default.
- W1569576087 cites W1787074469 @default.
- W1569576087 cites W1986558678 @default.
- W1569576087 cites W1987507597 @default.
- W1569576087 cites W2083897388 @default.
- W1569576087 cites W2112643551 @default.
- W1569576087 cites W2114585211 @default.
- W1569576087 cites W2154967452 @default.
- W1569576087 cites W2158395308 @default.
- W1569576087 cites W4245889750 @default.
- W1569576087 cites W4250884204 @default.
- W1569576087 doi "https://doi.org/10.1007/11817963_20" @default.
- W1569576087 hasPublicationYear "2006" @default.
- W1569576087 type Work @default.
- W1569576087 sameAs 1569576087 @default.
- W1569576087 citedByCount "17" @default.
- W1569576087 countsByYear W15695760872012 @default.
- W1569576087 countsByYear W15695760872018 @default.
- W1569576087 countsByYear W15695760872023 @default.
- W1569576087 crossrefType "book-chapter" @default.
- W1569576087 hasAuthorship W1569576087A5039919911 @default.
- W1569576087 hasAuthorship W1569576087A5043936415 @default.
- W1569576087 hasBestOaLocation W15695760871 @default.
- W1569576087 hasConcept C105795698 @default.
- W1569576087 hasConcept C110251889 @default.
- W1569576087 hasConcept C111472728 @default.
- W1569576087 hasConcept C11413529 @default.
- W1569576087 hasConcept C121332964 @default.
- W1569576087 hasConcept C124304363 @default.
- W1569576087 hasConcept C1276947 @default.
- W1569576087 hasConcept C13662910 @default.
- W1569576087 hasConcept C138885662 @default.
- W1569576087 hasConcept C184337299 @default.
- W1569576087 hasConcept C199360897 @default.
- W1569576087 hasConcept C23123167 @default.
- W1569576087 hasConcept C33923547 @default.
- W1569576087 hasConcept C41008148 @default.
- W1569576087 hasConcept C72434380 @default.
- W1569576087 hasConcept C80444323 @default.
- W1569576087 hasConcept C98045186 @default.
- W1569576087 hasConceptScore W1569576087C105795698 @default.
- W1569576087 hasConceptScore W1569576087C110251889 @default.
- W1569576087 hasConceptScore W1569576087C111472728 @default.
- W1569576087 hasConceptScore W1569576087C11413529 @default.
- W1569576087 hasConceptScore W1569576087C121332964 @default.
- W1569576087 hasConceptScore W1569576087C124304363 @default.
- W1569576087 hasConceptScore W1569576087C1276947 @default.
- W1569576087 hasConceptScore W1569576087C13662910 @default.
- W1569576087 hasConceptScore W1569576087C138885662 @default.
- W1569576087 hasConceptScore W1569576087C184337299 @default.
- W1569576087 hasConceptScore W1569576087C199360897 @default.
- W1569576087 hasConceptScore W1569576087C23123167 @default.
- W1569576087 hasConceptScore W1569576087C33923547 @default.
- W1569576087 hasConceptScore W1569576087C41008148 @default.
- W1569576087 hasConceptScore W1569576087C72434380 @default.
- W1569576087 hasConceptScore W1569576087C80444323 @default.
- W1569576087 hasConceptScore W1569576087C98045186 @default.
- W1569576087 hasLocation W15695760871 @default.
- W1569576087 hasOpenAccess W1569576087 @default.
- W1569576087 hasPrimaryLocation W15695760871 @default.
- W1569576087 hasRelatedWork W1572578464 @default.
- W1569576087 hasRelatedWork W1855927527 @default.
- W1569576087 hasRelatedWork W2003959877 @default.
- W1569576087 hasRelatedWork W2013635074 @default.
- W1569576087 hasRelatedWork W2127574686 @default.
- W1569576087 hasRelatedWork W2163709249 @default.
- W1569576087 hasRelatedWork W278680301 @default.
- W1569576087 hasRelatedWork W3105912136 @default.
- W1569576087 hasRelatedWork W2474628799 @default.
- W1569576087 hasRelatedWork W2506992585 @default.
- W1569576087 isParatext "false" @default.
- W1569576087 isRetracted "false" @default.
- W1569576087 magId "1569576087" @default.
- W1569576087 workType "book-chapter" @default.