Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247376413> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4247376413 abstract "In this paper, we present AutoGSTE, a comprehensive approach to automatic abstraction refinement for generalized symbolic trajectory evaluation (GSTE). This approach addresses imprecision of GSTE's quaternary abstraction caused by underconstrained input circuit nodes, quaternary state set unions, and existentially quantified-out symbolic variables. It follows the counterexample-guided abstraction refinement framework and features an algorithm that analyzes counterexamples (symbolic error traces) generated by GSTE to identify causes of imprecision and two complementary algorithms that automate model refinement and specification refinement according to the causes identified. AutoGSTE completely eliminates false negatives due to imprecision of quaternary abstraction. Application of AutoGSTE to benchmark circuits from small to large size has demonstrated that it can quickly converge to an abstraction upon which GSTE can either verify or falsify an assertion graph efficiently." @default.
- W4247376413 created "2022-05-12" @default.
- W4247376413 creator A5033017269 @default.
- W4247376413 creator A5037458498 @default.
- W4247376413 creator A5048144391 @default.
- W4247376413 creator A5052037169 @default.
- W4247376413 date "2007-11-01" @default.
- W4247376413 modified "2023-09-28" @default.
- W4247376413 title "Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation" @default.
- W4247376413 doi "https://doi.org/10.1109/fmcad.2007.4401989" @default.
- W4247376413 hasPublicationYear "2007" @default.
- W4247376413 type Work @default.
- W4247376413 citedByCount "0" @default.
- W4247376413 crossrefType "proceedings-article" @default.
- W4247376413 hasAuthorship W4247376413A5033017269 @default.
- W4247376413 hasAuthorship W4247376413A5037458498 @default.
- W4247376413 hasAuthorship W4247376413A5048144391 @default.
- W4247376413 hasAuthorship W4247376413A5052037169 @default.
- W4247376413 hasConcept C110251889 @default.
- W4247376413 hasConcept C111472728 @default.
- W4247376413 hasConcept C11413529 @default.
- W4247376413 hasConcept C118615104 @default.
- W4247376413 hasConcept C124304363 @default.
- W4247376413 hasConcept C132525143 @default.
- W4247376413 hasConcept C13280743 @default.
- W4247376413 hasConcept C138885662 @default.
- W4247376413 hasConcept C162838799 @default.
- W4247376413 hasConcept C177264268 @default.
- W4247376413 hasConcept C185798385 @default.
- W4247376413 hasConcept C199360897 @default.
- W4247376413 hasConcept C205649164 @default.
- W4247376413 hasConcept C23123167 @default.
- W4247376413 hasConcept C33923547 @default.
- W4247376413 hasConcept C40422974 @default.
- W4247376413 hasConcept C41008148 @default.
- W4247376413 hasConcept C65620979 @default.
- W4247376413 hasConcept C80444323 @default.
- W4247376413 hasConceptScore W4247376413C110251889 @default.
- W4247376413 hasConceptScore W4247376413C111472728 @default.
- W4247376413 hasConceptScore W4247376413C11413529 @default.
- W4247376413 hasConceptScore W4247376413C118615104 @default.
- W4247376413 hasConceptScore W4247376413C124304363 @default.
- W4247376413 hasConceptScore W4247376413C132525143 @default.
- W4247376413 hasConceptScore W4247376413C13280743 @default.
- W4247376413 hasConceptScore W4247376413C138885662 @default.
- W4247376413 hasConceptScore W4247376413C162838799 @default.
- W4247376413 hasConceptScore W4247376413C177264268 @default.
- W4247376413 hasConceptScore W4247376413C185798385 @default.
- W4247376413 hasConceptScore W4247376413C199360897 @default.
- W4247376413 hasConceptScore W4247376413C205649164 @default.
- W4247376413 hasConceptScore W4247376413C23123167 @default.
- W4247376413 hasConceptScore W4247376413C33923547 @default.
- W4247376413 hasConceptScore W4247376413C40422974 @default.
- W4247376413 hasConceptScore W4247376413C41008148 @default.
- W4247376413 hasConceptScore W4247376413C65620979 @default.
- W4247376413 hasConceptScore W4247376413C80444323 @default.
- W4247376413 hasLocation W42473764131 @default.
- W4247376413 hasOpenAccess W4247376413 @default.
- W4247376413 hasPrimaryLocation W42473764131 @default.
- W4247376413 hasRelatedWork W1515352270 @default.
- W4247376413 hasRelatedWork W1593349323 @default.
- W4247376413 hasRelatedWork W1606065864 @default.
- W4247376413 hasRelatedWork W1801993675 @default.
- W4247376413 hasRelatedWork W1973011603 @default.
- W4247376413 hasRelatedWork W2127574686 @default.
- W4247376413 hasRelatedWork W2142928983 @default.
- W4247376413 hasRelatedWork W2156717832 @default.
- W4247376413 hasRelatedWork W2406109166 @default.
- W4247376413 hasRelatedWork W4247376413 @default.
- W4247376413 isParatext "false" @default.
- W4247376413 isRetracted "false" @default.
- W4247376413 workType "article" @default.