Modular Verification of SRT Division
No abstract available.
Related papers
- Verifying the SRT Division Algorithm Using Theorem Proving Techniques CAV 1996
- Modular Reasoning in the Presence of Subclassing OOPSLA 1995
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver CAV 2021
- A Formal Proof of Square Root and Division Elimination in Embedded Programs CPP 2012
- Division by Invariant Integers using Multiplication PLDI 1994
- Cutting the Cake: A Language for Fair Division PLDI 2023
- An Efficient Method of Computing Static Single Assignment Form POPL 1989
- Compact Representations for Control Dependence PLDI 1990