The following pages link to Computer Aided Verification (Q5716559):
Displaying 7 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)
- A Coq formalization of digital filters (Q1798952) (← links)
- Programming Languages and Systems (Q5308687) (← links)
- Theorem Proving in Higher Order Logics (Q5464641) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)