The following pages link to Computer Aided Verification (Q5716595):
Displayed 6 items.
- Three optimizations for assume-guarantee reasoning with \(L^{*}\) (Q934701) (← links)
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- Learning to verify branching time properties (Q2642669) (← links)
- The Birth of Model Checking (Q3512430) (← links)
- Automated Assume-Guarantee Reasoning by Abstraction Refinement (Q3512489) (← links)
- Learning Meets Verification (Q3525110) (← links)