The following pages link to Computer Aided Verification (Q5716595):
Displaying 16 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Three optimizations for assume-guarantee reasoning with \(L^{*}\) (Q934701) (← links)
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- Local proofs for global safety properties (Q1039842) (← links)
- Automated circular assume-guarantee reasoning (Q1673656) (← links)
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees (Q2051763) (← links)
- Compositional verification and 3-valued abstractions join forces (Q2266991) (← links)
- Learning to verify branching time properties (Q2642669) (← links)
- Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys (Q2798781) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees (Q3303894) (← links)
- The Birth of Model Checking (Q3512430) (← links)
- Automated Assume-Guarantee Reasoning by Abstraction Refinement (Q3512489) (← links)
- Learning Meets Verification (Q3525110) (← links)
- Automated Circular Assume-Guarantee Reasoning (Q5206947) (← links)