The following pages link to (Q4417869):
Displaying 6 items.
- Automated compositional proofs for real-time systems (Q882449) (← links)
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning (Q934706) (← links)
- Automated circular assume-guarantee reasoning (Q1673656) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- Compositional Reasoning (Q3176370) (← links)
