Matches in SemOpenAlex for { <https://semopenalex.org/work/W1799055964> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1799055964 abstract "Compositional proof systems not only enable the stepwise development of concurrent processes but also provide a basis to alleviate the state explosion problem associated with model checking. An assume-guarantee style of specification and reasoning has long been advocated to achieve compositionality. However, this style of reasoning is often non-trivial, typically requiring human input to determine appropriate assumptions. In this paper, we present novel assume- guarantee rules in the setting of finite labelled transition systems with blocking communication. We show how these rules can be applied in an iterative and fully automated fashion within a framework based on learning." @default.
- W1799055964 created "2016-06-24" @default.
- W1799055964 creator A5026503796 @default.
- W1799055964 creator A5043642331 @default.
- W1799055964 creator A5053134485 @default.
- W1799055964 date "2003-01-01" @default.
- W1799055964 modified "2023-09-23" @default.
- W1799055964 title "Proof Rules for Automated Compositional Verification through Learning" @default.
- W1799055964 cites W1488659932 @default.
- W1799055964 cites W1496552468 @default.
- W1799055964 cites W1596365597 @default.
- W1799055964 cites W1597238128 @default.
- W1799055964 cites W1604627363 @default.
- W1799055964 cites W1756169151 @default.
- W1799055964 cites W1964727056 @default.
- W1799055964 cites W1972316716 @default.
- W1799055964 cites W1975586790 @default.
- W1799055964 cites W1984831616 @default.
- W1799055964 cites W1989445634 @default.
- W1799055964 cites W2060910670 @default.
- W1799055964 cites W2098039922 @default.
- W1799055964 cites W2115969864 @default.
- W1799055964 cites W2120521925 @default.
- W1799055964 cites W2130025446 @default.
- W1799055964 cites W2137467159 @default.
- W1799055964 cites W2139609292 @default.
- W1799055964 cites W2140606869 @default.
- W1799055964 cites W2169134334 @default.
- W1799055964 cites W2340735175 @default.
- W1799055964 cites W2913459036 @default.
- W1799055964 cites W80370608 @default.
- W1799055964 cites W219793899 @default.
- W1799055964 hasPublicationYear "2003" @default.
- W1799055964 type Work @default.
- W1799055964 sameAs 1799055964 @default.
- W1799055964 citedByCount "30" @default.
- W1799055964 countsByYear W17990559642012 @default.
- W1799055964 countsByYear W17990559642013 @default.
- W1799055964 countsByYear W17990559642014 @default.
- W1799055964 countsByYear W17990559642018 @default.
- W1799055964 countsByYear W17990559642019 @default.
- W1799055964 countsByYear W17990559642020 @default.
- W1799055964 countsByYear W17990559642021 @default.
- W1799055964 crossrefType "journal-article" @default.
- W1799055964 hasAuthorship W1799055964A5026503796 @default.
- W1799055964 hasAuthorship W1799055964A5043642331 @default.
- W1799055964 hasAuthorship W1799055964A5053134485 @default.
- W1799055964 hasConcept C110251889 @default.
- W1799055964 hasConcept C121375916 @default.
- W1799055964 hasConcept C154945302 @default.
- W1799055964 hasConcept C199360897 @default.
- W1799055964 hasConcept C41008148 @default.
- W1799055964 hasConcept C48103436 @default.
- W1799055964 hasConcept C80444323 @default.
- W1799055964 hasConceptScore W1799055964C110251889 @default.
- W1799055964 hasConceptScore W1799055964C121375916 @default.
- W1799055964 hasConceptScore W1799055964C154945302 @default.
- W1799055964 hasConceptScore W1799055964C199360897 @default.
- W1799055964 hasConceptScore W1799055964C41008148 @default.
- W1799055964 hasConceptScore W1799055964C48103436 @default.
- W1799055964 hasConceptScore W1799055964C80444323 @default.
- W1799055964 hasOpenAccess W1799055964 @default.
- W1799055964 hasRelatedWork W1488659932 @default.
- W1799055964 hasRelatedWork W1518363720 @default.
- W1799055964 hasRelatedWork W1586728410 @default.
- W1799055964 hasRelatedWork W1590437595 @default.
- W1799055964 hasRelatedWork W1596365597 @default.
- W1799055964 hasRelatedWork W1801993675 @default.
- W1799055964 hasRelatedWork W1989445634 @default.
- W1799055964 hasRelatedWork W2009965218 @default.
- W1799055964 hasRelatedWork W2030511855 @default.
- W1799055964 hasRelatedWork W2098039922 @default.
- W1799055964 hasRelatedWork W2103976262 @default.
- W1799055964 hasRelatedWork W2118713304 @default.
- W1799055964 hasRelatedWork W2130025446 @default.
- W1799055964 hasRelatedWork W2136248572 @default.
- W1799055964 hasRelatedWork W2137467159 @default.
- W1799055964 hasRelatedWork W2140606869 @default.
- W1799055964 hasRelatedWork W2158395308 @default.
- W1799055964 hasRelatedWork W2169134334 @default.
- W1799055964 hasRelatedWork W2913459036 @default.
- W1799055964 hasRelatedWork W80370608 @default.
- W1799055964 isParatext "false" @default.
- W1799055964 isRetracted "false" @default.
- W1799055964 magId "1799055964" @default.
- W1799055964 workType "article" @default.