Matches in SemOpenAlex for { <https://semopenalex.org/work/W3149078839> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3149078839 abstract "Scaling verification to large circuits requires some form of abstraction relative to the asserted property. We describe a safety analysis of finite-state systems that generalizes from counterexamples to the inductiveness of the safety specification to inductive invariants. It thus abstracts the system's state space relative to the property. The analysis either strengthens a safety specification to be inductive or discovers a counterexample to its correctness. The analysis is easily made parallel. We provide experimental data showing how the analysis time decreases with the number of processes on several hard problems." @default.
- W3149078839 created "2021-04-13" @default.
- W3149078839 creator A5014553511 @default.
- W3149078839 creator A5069779525 @default.
- W3149078839 date "2007-11-01" @default.
- W3149078839 modified "2023-10-01" @default.
- W3149078839 title "Checking Safety by Inductive Generalization of Counterexamples to Induction" @default.
- W3149078839 cites W120333500 @default.
- W3149078839 cites W1560773708 @default.
- W3149078839 cites W2043100293 @default.
- W3149078839 cites W2046213250 @default.
- W3149078839 cites W2097023195 @default.
- W3149078839 cites W2120485094 @default.
- W3149078839 cites W2127574686 @default.
- W3149078839 cites W2164829820 @default.
- W3149078839 doi "https://doi.org/10.1109/famcad.2007.15" @default.
- W3149078839 hasPublicationYear "2007" @default.
- W3149078839 type Work @default.
- W3149078839 sameAs 3149078839 @default.
- W3149078839 citedByCount "40" @default.
- W3149078839 countsByYear W31490788392012 @default.
- W3149078839 countsByYear W31490788392013 @default.
- W3149078839 countsByYear W31490788392014 @default.
- W3149078839 countsByYear W31490788392015 @default.
- W3149078839 countsByYear W31490788392016 @default.
- W3149078839 countsByYear W31490788392017 @default.
- W3149078839 countsByYear W31490788392018 @default.
- W3149078839 countsByYear W31490788392019 @default.
- W3149078839 countsByYear W31490788392020 @default.
- W3149078839 countsByYear W31490788392021 @default.
- W3149078839 countsByYear W31490788392022 @default.
- W3149078839 countsByYear W31490788392023 @default.
- W3149078839 crossrefType "proceedings-article" @default.
- W3149078839 hasAuthorship W3149078839A5014553511 @default.
- W3149078839 hasAuthorship W3149078839A5069779525 @default.
- W3149078839 hasBestOaLocation W31490788392 @default.
- W3149078839 hasConcept C105795698 @default.
- W3149078839 hasConcept C110251889 @default.
- W3149078839 hasConcept C111472728 @default.
- W3149078839 hasConcept C11413529 @default.
- W3149078839 hasConcept C118615104 @default.
- W3149078839 hasConcept C124304363 @default.
- W3149078839 hasConcept C134306372 @default.
- W3149078839 hasConcept C138885662 @default.
- W3149078839 hasConcept C162838799 @default.
- W3149078839 hasConcept C177148314 @default.
- W3149078839 hasConcept C189950617 @default.
- W3149078839 hasConcept C199360897 @default.
- W3149078839 hasConcept C33923547 @default.
- W3149078839 hasConcept C41008148 @default.
- W3149078839 hasConcept C48103436 @default.
- W3149078839 hasConcept C55439883 @default.
- W3149078839 hasConcept C72434380 @default.
- W3149078839 hasConcept C80444323 @default.
- W3149078839 hasConceptScore W3149078839C105795698 @default.
- W3149078839 hasConceptScore W3149078839C110251889 @default.
- W3149078839 hasConceptScore W3149078839C111472728 @default.
- W3149078839 hasConceptScore W3149078839C11413529 @default.
- W3149078839 hasConceptScore W3149078839C118615104 @default.
- W3149078839 hasConceptScore W3149078839C124304363 @default.
- W3149078839 hasConceptScore W3149078839C134306372 @default.
- W3149078839 hasConceptScore W3149078839C138885662 @default.
- W3149078839 hasConceptScore W3149078839C162838799 @default.
- W3149078839 hasConceptScore W3149078839C177148314 @default.
- W3149078839 hasConceptScore W3149078839C189950617 @default.
- W3149078839 hasConceptScore W3149078839C199360897 @default.
- W3149078839 hasConceptScore W3149078839C33923547 @default.
- W3149078839 hasConceptScore W3149078839C41008148 @default.
- W3149078839 hasConceptScore W3149078839C48103436 @default.
- W3149078839 hasConceptScore W3149078839C55439883 @default.
- W3149078839 hasConceptScore W3149078839C72434380 @default.
- W3149078839 hasConceptScore W3149078839C80444323 @default.
- W3149078839 hasLocation W31490788391 @default.
- W3149078839 hasLocation W31490788392 @default.
- W3149078839 hasOpenAccess W3149078839 @default.
- W3149078839 hasPrimaryLocation W31490788391 @default.
- W3149078839 hasRelatedWork W1680791603 @default.
- W3149078839 hasRelatedWork W2069919327 @default.
- W3149078839 hasRelatedWork W2085535520 @default.
- W3149078839 hasRelatedWork W2108408848 @default.
- W3149078839 hasRelatedWork W2182066955 @default.
- W3149078839 hasRelatedWork W2186626863 @default.
- W3149078839 hasRelatedWork W2569057901 @default.
- W3149078839 hasRelatedWork W2952737788 @default.
- W3149078839 hasRelatedWork W3149078839 @default.
- W3149078839 hasRelatedWork W4308502799 @default.
- W3149078839 isParatext "false" @default.
- W3149078839 isRetracted "false" @default.
- W3149078839 magId "3149078839" @default.
- W3149078839 workType "article" @default.