Pages that link to "Item:Q5758116"

The following pages link to Optimized L*-Based Assume-Guarantee Reasoning (Q5758116):

Displaying 7 items.

• A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
• 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 circular assume-guarantee reasoning (Q1673656) (← links)
• Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
• Abstraction and Abstraction Refinement (Q3176371) (← links)