The following pages link to Computer Aided Verification (Q5716559):
Displaying 3 items.
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
