scientific article
From MaRDI portal
Publication:2848688
zbMath1272.68362MaRDI QIDQ2848688
Sean McLaughlin, Clark Barrett, Yeting Ge
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000065
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
versat: A Verified Modern SAT Solver, Verification of clock synchronization algorithms: experiments on a combination of deductive tools, Linear Arithmetic with Stars, Extending Sledgehammer with SMT Solvers, Rocket-Fast Proof Checking for SMT Solvers, Efficiently checking propositional refutations in HOL theorem provers, Scalable fine-grained proofs for formula processing, Reliable reconstruction of fine-grained proofs in a proof assistant, A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses, Modular SMT Proofs for Fast Reflexive Checking Inside Coq, Reconstruction of Z3’s Bit-Vector Proofs in HOL4 and Isabelle/HOL, Combining Theories with Shared Set Operations, Extending Sledgehammer with SMT solvers
Uses Software
