Pages that link to "Item:Q5758116"
From MaRDI portal
The following pages link to Optimized L*-Based Assume-Guarantee Reasoning (Q5758116):
Displayed 5 items.
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning (Q934706) (← links)
- Automated assumption generation for compositional verification (Q934710) (← links)
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- Automated Assume-Guarantee Reasoning by Abstraction Refinement (Q3512489) (← links)
- Learning Minimal Separating DFA’s for Compositional Verification (Q3617752) (← links)