ProofCoop: Collaborative Automated Formal Verification
Open Access
- 12 April 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 1327-1340
Abstract
No abstract availableThis publication has 53 references indexed in Scilit:
- A Billion SMT Queries a Day (Invited Paper)2022
- The Lean 4 Theorem Prover and Programming Language2021
- Clause Sharing and Partitioning for Cloud-Based SMT Solving2016
- Autonomous Search2012
- CVC42011
- Dafny: An Automatic Program Verifier for Functional Correctness2010
- A Concurrent Portfolio Approach to SMT Solving2009
- A Brief Overview of HOL42008
- Z3: An Efficient SMT Solver2008
- Isabelle/HOL2002