Matches in SemOpenAlex for { <https://semopenalex.org/work/W2979665092> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2979665092 abstract "Generalized property-directed reachability (GPDR) belongs to the family of the model-checking techniques called IC3/PDR. It has been successfully applied to software verification; for example, it is the core of Spacer, a state-of-the-art Horn-clause solver bundled with Z3. However, it has yet to be applied to hybrid systems, which involve a continuous evolution of values over time. As the first step towards GPDR- based model checking for hybrid systems, this paper formalizes HGPDR, an adaptation of GPDR to hybrid systems, and proves its soundness. We also implemented a semi-automated proof-of-concept verifier, which allows a user to provide hints to guide verification steps." @default.
- W2979665092 created "2019-10-18" @default.
- W2979665092 creator A5002297530 @default.
- W2979665092 creator A5064121410 @default.
- W2979665092 date "2019-10-09" @default.
- W2979665092 modified "2023-09-26" @default.
- W2979665092 title "Generalized Property-Directed Reachability for Hybrid Systems" @default.
- W2979665092 cites W1559151285 @default.
- W2979665092 cites W1563374593 @default.
- W2979665092 cites W1566132409 @default.
- W2979665092 cites W1590463358 @default.
- W2979665092 cites W172589331 @default.
- W2979665092 cites W1815155750 @default.
- W2979665092 cites W1975041710 @default.
- W2979665092 cites W1977444293 @default.
- W2979665092 cites W1979646426 @default.
- W2979665092 cites W1995691455 @default.
- W2979665092 cites W2007490191 @default.
- W2979665092 cites W2041378910 @default.
- W2979665092 cites W2060095702 @default.
- W2979665092 cites W2098045685 @default.
- W2979665092 cites W2102178883 @default.
- W2979665092 cites W2161252702 @default.
- W2979665092 cites W2336901628 @default.
- W2979665092 cites W2913459036 @default.
- W2979665092 cites W427023237 @default.
- W2979665092 cites W81626549 @default.
- W2979665092 doi "https://doi.org/10.48550/arxiv.1910.03784" @default.
- W2979665092 hasPublicationYear "2019" @default.
- W2979665092 type Work @default.
- W2979665092 sameAs 2979665092 @default.
- W2979665092 citedByCount "0" @default.
- W2979665092 crossrefType "posted-content" @default.
- W2979665092 hasAuthorship W2979665092A5002297530 @default.
- W2979665092 hasAuthorship W2979665092A5064121410 @default.
- W2979665092 hasBestOaLocation W29796650921 @default.
- W2979665092 hasConcept C110251889 @default.
- W2979665092 hasConcept C111472728 @default.
- W2979665092 hasConcept C111498074 @default.
- W2979665092 hasConcept C119857082 @default.
- W2979665092 hasConcept C124304363 @default.
- W2979665092 hasConcept C136643341 @default.
- W2979665092 hasConcept C138885662 @default.
- W2979665092 hasConcept C189950617 @default.
- W2979665092 hasConcept C199360897 @default.
- W2979665092 hasConcept C2777904410 @default.
- W2979665092 hasConcept C2778770139 @default.
- W2979665092 hasConcept C39920170 @default.
- W2979665092 hasConcept C41008148 @default.
- W2979665092 hasConcept C48103436 @default.
- W2979665092 hasConcept C50897621 @default.
- W2979665092 hasConcept C80444323 @default.
- W2979665092 hasConceptScore W2979665092C110251889 @default.
- W2979665092 hasConceptScore W2979665092C111472728 @default.
- W2979665092 hasConceptScore W2979665092C111498074 @default.
- W2979665092 hasConceptScore W2979665092C119857082 @default.
- W2979665092 hasConceptScore W2979665092C124304363 @default.
- W2979665092 hasConceptScore W2979665092C136643341 @default.
- W2979665092 hasConceptScore W2979665092C138885662 @default.
- W2979665092 hasConceptScore W2979665092C189950617 @default.
- W2979665092 hasConceptScore W2979665092C199360897 @default.
- W2979665092 hasConceptScore W2979665092C2777904410 @default.
- W2979665092 hasConceptScore W2979665092C2778770139 @default.
- W2979665092 hasConceptScore W2979665092C39920170 @default.
- W2979665092 hasConceptScore W2979665092C41008148 @default.
- W2979665092 hasConceptScore W2979665092C48103436 @default.
- W2979665092 hasConceptScore W2979665092C50897621 @default.
- W2979665092 hasConceptScore W2979665092C80444323 @default.
- W2979665092 hasLocation W29796650921 @default.
- W2979665092 hasLocation W29796650922 @default.
- W2979665092 hasOpenAccess W2979665092 @default.
- W2979665092 hasPrimaryLocation W29796650921 @default.
- W2979665092 hasRelatedWork W1588644379 @default.
- W2979665092 hasRelatedWork W1600235415 @default.
- W2979665092 hasRelatedWork W1994348879 @default.
- W2979665092 hasRelatedWork W2165214723 @default.
- W2979665092 hasRelatedWork W2782143183 @default.
- W2979665092 hasRelatedWork W2803699674 @default.
- W2979665092 hasRelatedWork W2979665092 @default.
- W2979665092 hasRelatedWork W3023081192 @default.
- W2979665092 hasRelatedWork W3029256966 @default.
- W2979665092 hasRelatedWork W2610540209 @default.
- W2979665092 isParatext "false" @default.
- W2979665092 isRetracted "false" @default.
- W2979665092 magId "2979665092" @default.
- W2979665092 workType "article" @default.