The following pages link to Computer Aided Verification (Q5716599):
Displayed 7 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Doomed program points (Q633286) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- Association of Under-Approximation Techniques for Generating Tests from Models (Q3012965) (← links)
- Model Checking Recursive Programs with Exact Predicate Abstraction (Q3540067) (← links)
- Better Under-Approximation of Programs by Hiding Variables (Q5452617) (← links)