Pages that link to "Item:Q934710"
From MaRDI portal
The following pages link to Automated assumption generation for compositional verification (Q934710):
Displaying 6 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Automated circular assume-guarantee reasoning (Q1673656) (← links)
- Fundamental results for learning deterministic extended finite state machines from queries (Q1998871) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Assume, Guarantee or Repair (Q5039510) (← links)
- Automated Circular Assume-Guarantee Reasoning (Q5206947) (← links)
