The following pages link to Computer Aided Verification (Q5900685):
Displaying 8 items.
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711491) (← links)
- Correct Hardware Design and Verification Methods (Q5897075) (← links)