Pages that link to "Item:Q3512489"
From MaRDI portal
The following pages link to Automated Assume-Guarantee Reasoning by Abstraction Refinement (Q3512489):
Displaying 13 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Automated circular assume-guarantee reasoning (Q1673656) (← links)
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- To compose, or not to compose, that is the question: an analysis of compositional state space generation (Q2024367) (← links)
- Compositional verification and 3-valued abstractions join forces (Q2266991) (← links)
- ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS (Q2856015) (← links)
- Modular Verification of Higher-Order Functional Programs (Q2988670) (← links)
- Automata Learning with Automated Alphabet Abstraction Refinement (Q3075487) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Interpolation-Based GR(1) Assumptions Refinement (Q3303899) (← links)
- Automated Circular Assume-Guarantee Reasoning (Q5206947) (← links)
