Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154090830> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2154090830 endingPage "139" @default.
- W2154090830 startingPage "131" @default.
- W2154090830 abstract "We develop a learning-based automated assume-guarantee (AG) reasoning framework for verifying ω-regular properties of concurrent systems. We study the applicability of non-circular (AG-NC) and circular (AG-C) AG proof rules in the context of systems with infinite behaviors. In particular, we show that AG-NC is incomplete when assumptions are restricted to strictly infinite behaviors, while AG-C remains complete. We present a general formalization, called LAG, of the learning based automated AG paradigm. We show how existing approaches for automated AG reasoning are special instances of LAG. We develop two learning algorithms for a class of systems, called ∞-regular systems, that combine finite and infinite behaviors. We show that for ∞-regular systems, both AG-NC and AG-C are sound and complete. Finally, we show how to instantiate LAG to do automated AG reasoning for ∞-regular, and ω-regular, systems using both AG-NC and AG-C as proof rules." @default.
- W2154090830 created "2016-06-24" @default.
- W2154090830 creator A5046834577 @default.
- W2154090830 creator A5084751293 @default.
- W2154090830 date "2011-03-12" @default.
- W2154090830 modified "2023-09-24" @default.
- W2154090830 title "Automated assume-guarantee reasoning for omega-regular systems and specifications" @default.
- W2154090830 cites W1508602846 @default.
- W2154090830 cites W1518363720 @default.
- W2154090830 cites W1541916245 @default.
- W2154090830 cites W1586728410 @default.
- W2154090830 cites W1590437595 @default.
- W2154090830 cites W1969005071 @default.
- W2154090830 cites W1989445634 @default.
- W2154090830 cites W2008387578 @default.
- W2154090830 cites W2009965218 @default.
- W2154090830 cites W2030511855 @default.
- W2154090830 cites W2038952689 @default.
- W2154090830 cites W2098039922 @default.
- W2154090830 cites W2103976262 @default.
- W2154090830 cites W2130025446 @default.
- W2154090830 cites W2137467159 @default.
- W2154090830 cites W2140606869 @default.
- W2154090830 cites W2170500765 @default.
- W2154090830 cites W4245370910 @default.
- W2154090830 doi "https://doi.org/10.1007/s11334-011-0148-1" @default.
- W2154090830 hasPublicationYear "2011" @default.
- W2154090830 type Work @default.
- W2154090830 sameAs 2154090830 @default.
- W2154090830 citedByCount "9" @default.
- W2154090830 countsByYear W21540908302012 @default.
- W2154090830 countsByYear W21540908302013 @default.
- W2154090830 countsByYear W21540908302015 @default.
- W2154090830 countsByYear W21540908302017 @default.
- W2154090830 countsByYear W21540908302018 @default.
- W2154090830 crossrefType "journal-article" @default.
- W2154090830 hasAuthorship W2154090830A5046834577 @default.
- W2154090830 hasAuthorship W2154090830A5084751293 @default.
- W2154090830 hasBestOaLocation W21540908302 @default.
- W2154090830 hasConcept C118615104 @default.
- W2154090830 hasConcept C121332964 @default.
- W2154090830 hasConcept C151730666 @default.
- W2154090830 hasConcept C154945302 @default.
- W2154090830 hasConcept C2777212361 @default.
- W2154090830 hasConcept C2779343474 @default.
- W2154090830 hasConcept C2779557605 @default.
- W2154090830 hasConcept C33923547 @default.
- W2154090830 hasConcept C41008148 @default.
- W2154090830 hasConcept C62520636 @default.
- W2154090830 hasConcept C80444323 @default.
- W2154090830 hasConcept C86803240 @default.
- W2154090830 hasConceptScore W2154090830C118615104 @default.
- W2154090830 hasConceptScore W2154090830C121332964 @default.
- W2154090830 hasConceptScore W2154090830C151730666 @default.
- W2154090830 hasConceptScore W2154090830C154945302 @default.
- W2154090830 hasConceptScore W2154090830C2777212361 @default.
- W2154090830 hasConceptScore W2154090830C2779343474 @default.
- W2154090830 hasConceptScore W2154090830C2779557605 @default.
- W2154090830 hasConceptScore W2154090830C33923547 @default.
- W2154090830 hasConceptScore W2154090830C41008148 @default.
- W2154090830 hasConceptScore W2154090830C62520636 @default.
- W2154090830 hasConceptScore W2154090830C80444323 @default.
- W2154090830 hasConceptScore W2154090830C86803240 @default.
- W2154090830 hasIssue "2" @default.
- W2154090830 hasLocation W21540908301 @default.
- W2154090830 hasLocation W21540908302 @default.
- W2154090830 hasLocation W21540908303 @default.
- W2154090830 hasOpenAccess W2154090830 @default.
- W2154090830 hasPrimaryLocation W21540908301 @default.
- W2154090830 hasRelatedWork W1481069337 @default.
- W2154090830 hasRelatedWork W1559102282 @default.
- W2154090830 hasRelatedWork W1560139384 @default.
- W2154090830 hasRelatedWork W1988896084 @default.
- W2154090830 hasRelatedWork W2357111437 @default.
- W2154090830 hasRelatedWork W2963663154 @default.
- W2154090830 hasRelatedWork W3107474891 @default.
- W2154090830 hasRelatedWork W4205771671 @default.
- W2154090830 hasRelatedWork W4220985904 @default.
- W2154090830 hasRelatedWork W4245298667 @default.
- W2154090830 hasVolume "7" @default.
- W2154090830 isParatext "false" @default.
- W2154090830 isRetracted "false" @default.
- W2154090830 magId "2154090830" @default.
- W2154090830 workType "article" @default.