The following pages link to Computer Aided Verification (Q5716598):
Displaying 6 items.
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- Efficient bounded model checking of heap-manipulating programs using tight field bounds (Q2044185) (← links)
- Approximating Behaviors in Embedded System Design (Q3507398) (← links)
- Lazy abstraction (Q5178898) (← links)
- Model Checking Software (Q5899043) (← links)
- Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker (Q6114445) (← links)