Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982673142> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2982673142 endingPage "502" @default.
- W2982673142 startingPage "498" @default.
- W2982673142 abstract "Model checking is used widely as a formal verification technique for safety-critical systems. Certifying the correctness of model checking results helps increasing confidence in the verification procedure. This can be achieved by additional book-keeping inside existing model checkers. Based on this, we extended an existing BDD-based model checker as well as an IC3-based incremental inductive model checker, to generate certificates during the model checking procedure. We also introduce a proof checker which provides a standardised way to validate certificates generated from model checkers in conjunction with a SAT solver. The main goal is to establish a certification process for the hardware model checking competition." @default.
- W2982673142 created "2019-11-08" @default.
- W2982673142 creator A5030131917 @default.
- W2982673142 creator A5078732211 @default.
- W2982673142 creator A5082596567 @default.
- W2982673142 date "2019-01-01" @default.
- W2982673142 modified "2023-09-26" @default.
- W2982673142 title "Certifying Hardware Model Checking Results" @default.
- W2982673142 cites W134339645 @default.
- W2982673142 cites W1988882144 @default.
- W2982673142 cites W2043623772 @default.
- W2982673142 cites W2101211404 @default.
- W2982673142 cites W2293809538 @default.
- W2982673142 cites W2768047339 @default.
- W2982673142 cites W2909396580 @default.
- W2982673142 cites W2912640545 @default.
- W2982673142 cites W2966211217 @default.
- W2982673142 cites W1245344834 @default.
- W2982673142 doi "https://doi.org/10.1007/978-3-030-32409-4_32" @default.
- W2982673142 hasPublicationYear "2019" @default.
- W2982673142 type Work @default.
- W2982673142 sameAs 2982673142 @default.
- W2982673142 citedByCount "2" @default.
- W2982673142 countsByYear W29826731422021 @default.
- W2982673142 countsByYear W29826731422022 @default.
- W2982673142 crossrefType "book-chapter" @default.
- W2982673142 hasAuthorship W2982673142A5030131917 @default.
- W2982673142 hasAuthorship W2982673142A5078732211 @default.
- W2982673142 hasAuthorship W2982673142A5082596567 @default.
- W2982673142 hasBestOaLocation W29826731422 @default.
- W2982673142 hasConcept C110251889 @default.
- W2982673142 hasConcept C199360897 @default.
- W2982673142 hasConcept C41008148 @default.
- W2982673142 hasConcept C9390403 @default.
- W2982673142 hasConceptScore W2982673142C110251889 @default.
- W2982673142 hasConceptScore W2982673142C199360897 @default.
- W2982673142 hasConceptScore W2982673142C41008148 @default.
- W2982673142 hasConceptScore W2982673142C9390403 @default.
- W2982673142 hasLocation W29826731421 @default.
- W2982673142 hasLocation W29826731422 @default.
- W2982673142 hasOpenAccess W2982673142 @default.
- W2982673142 hasPrimaryLocation W29826731421 @default.
- W2982673142 hasRelatedWork W1479736339 @default.
- W2982673142 hasRelatedWork W1557832504 @default.
- W2982673142 hasRelatedWork W1583364777 @default.
- W2982673142 hasRelatedWork W1599483650 @default.
- W2982673142 hasRelatedWork W1751458928 @default.
- W2982673142 hasRelatedWork W2138161962 @default.
- W2982673142 hasRelatedWork W2151898527 @default.
- W2982673142 hasRelatedWork W2364866360 @default.
- W2982673142 hasRelatedWork W47563837 @default.
- W2982673142 hasRelatedWork W1894736207 @default.
- W2982673142 isParatext "false" @default.
- W2982673142 isRetracted "false" @default.
- W2982673142 magId "2982673142" @default.
- W2982673142 workType "book-chapter" @default.