Quantifying SMT Solver Instability for Formal Verification

Daniel Evans, Rylie Hansen, John Shorter

Program verification has become commonplace in software development projects, and much of its feasibility can be attributed to the potential of SMT solvers to automate model checki…