Pages that link to "Item:Q5758115"

The following pages link to Refining Interface Alphabets for Compositional Verification (Q5758115):

Displaying 5 items.

• A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
• Learning register automata: from languages to program structures (Q479461) (← links)
• Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning (Q934706) (← links)
• Verification of evolving software via component substitutability analysis (Q934712) (← links)
• Automated circular assume-guarantee reasoning (Q1673656) (← links)