Matches in SemOpenAlex for { <https://semopenalex.org/work/W3016999940> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W3016999940 endingPage "227" @default.
- W3016999940 startingPage "211" @default.
- W3016999940 abstract "We present Assume-Guarantee-Repair (AGR) – a novel framework which not only verifies that a program satisfies a set of properties, but also repairs the program in case the verification fails. We consider communicating programs – these are simple C-like programs, extended with synchronous communication actions over communication channels. Our method, which consists of a learning-based approach to assume-guarantee reasoning, performs verification and repair simultaneously: in every iteration, AGR either makes another step towards proving that the (current) system satisfies the specification, or alters the system in a way that brings it closer to satisfying the specification. We manage handling infinite-state systems by using a finite abstract representation, and reduce the semantic problems in hand – satisfying complex specifications that also contain first-order constraints – to syntactic ones, namely membership and equivalence queries for regular languages. We implemented our algorithm and evaluated it on various examples. Our experiments present compact proofs of correctness and quick repairs." @default.
- W3016999940 created "2020-04-24" @default.
- W3016999940 creator A5000600007 @default.
- W3016999940 creator A5024549371 @default.
- W3016999940 creator A5043936415 @default.
- W3016999940 creator A5053134485 @default.
- W3016999940 date "2020-01-01" @default.
- W3016999940 modified "2023-10-11" @default.
- W3016999940 title "Assume, Guarantee or Repair" @default.
- W3016999940 cites W1480909796 @default.
- W3016999940 cites W1507321568 @default.
- W3016999940 cites W1544543122 @default.
- W3016999940 cites W1576972802 @default.
- W3016999940 cites W1592751104 @default.
- W3016999940 cites W176283517 @default.
- W3016999940 cites W1965042993 @default.
- W3016999940 cites W1989445634 @default.
- W3016999940 cites W2013887890 @default.
- W3016999940 cites W2030511855 @default.
- W3016999940 cites W2038952689 @default.
- W3016999940 cites W205112229 @default.
- W3016999940 cites W2095617372 @default.
- W3016999940 cites W2098039922 @default.
- W3016999940 cites W2101811680 @default.
- W3016999940 cites W2117013774 @default.
- W3016999940 cites W2130025446 @default.
- W3016999940 cites W213324484 @default.
- W3016999940 cites W2267830770 @default.
- W3016999940 cites W2497515766 @default.
- W3016999940 cites W641899672 @default.
- W3016999940 cites W98666333 @default.
- W3016999940 doi "https://doi.org/10.1007/978-3-030-45190-5_12" @default.
- W3016999940 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/7439735" @default.
- W3016999940 hasPublicationYear "2020" @default.
- W3016999940 type Work @default.
- W3016999940 sameAs 3016999940 @default.
- W3016999940 citedByCount "8" @default.
- W3016999940 countsByYear W30169999402021 @default.
- W3016999940 countsByYear W30169999402022 @default.
- W3016999940 countsByYear W30169999402023 @default.
- W3016999940 crossrefType "book-chapter" @default.
- W3016999940 hasAuthorship W3016999940A5000600007 @default.
- W3016999940 hasAuthorship W3016999940A5024549371 @default.
- W3016999940 hasAuthorship W3016999940A5043936415 @default.
- W3016999940 hasAuthorship W3016999940A5053134485 @default.
- W3016999940 hasBestOaLocation W30169999401 @default.
- W3016999940 hasConcept C41008148 @default.
- W3016999940 hasConceptScore W3016999940C41008148 @default.
- W3016999940 hasLocation W30169999401 @default.
- W3016999940 hasOpenAccess W3016999940 @default.
- W3016999940 hasPrimaryLocation W30169999401 @default.
- W3016999940 hasRelatedWork W2049775471 @default.
- W3016999940 hasRelatedWork W2093578348 @default.
- W3016999940 hasRelatedWork W2350741829 @default.
- W3016999940 hasRelatedWork W2358668433 @default.
- W3016999940 hasRelatedWork W2376932109 @default.
- W3016999940 hasRelatedWork W2382290278 @default.
- W3016999940 hasRelatedWork W2390279801 @default.
- W3016999940 hasRelatedWork W2748952813 @default.
- W3016999940 hasRelatedWork W2899084033 @default.
- W3016999940 hasRelatedWork W3004735627 @default.
- W3016999940 isParatext "false" @default.
- W3016999940 isRetracted "false" @default.
- W3016999940 magId "3016999940" @default.
- W3016999940 workType "book-chapter" @default.