OpenSMT2: An SMT Solver for Multi-core and Cloud Computing

DOI10.1007/978-3-319-40970-2_35zbMath1475.68438OpenAlexW2488157396MaRDI QIDQ2818042

Antti E. J. Hyvärinen, Natasha Sharygina, Leonardo Alt, Matteo Marescotti

Publication date: 5 September 2016

Published in: Theory and Applications of Satisfiability Testing – SAT 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40970-2_35

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (7)

Lattice-based refinement in bounded model checking ⋮ SMT-based verification of program changes through summary repair ⋮ An interdisciplinary experimental evaluation on the disjunctive temporal problem ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Farkas-based tree interpolation ⋮ Exploiting partial variable assignment in interpolation-based model checking

Uses Software

• SIMPLIFY
• FunFrog
• PeRIPLO
• OpenSMT
• eVolCheck
• OpenSMT2

Cites Work

• PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
• Search-Space Partitioning for Parallelizing SMT Solvers
• Simplify: a theorem prover for program checking
• eVolCheck: Incremental Upgrade Checker for C

This page was built for publication: OpenSMT2: An SMT Solver for Multi-core and Cloud Computing