– 43 – Evaluation Compared with a black-box decision procedure based approach Das, Dill and Park, CAV99 SLAM benchmarks Device driver verification Eager SMT technique improves 50-100X on many benchmarks Distributed protocol verification (UCLID) Lahiri, Bryant VMCAI04 Decision procedure (SVC/CVC) unable to finish on most examples
{}