There is a newer version of the record available.

Published November 13, 2025 | Version v1
Software Open

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification Replication Package

Authors/Creators

  • 1. ROR icon University of California, San Diego
  • 2. ROR icon University of Illinois Urbana-Champaign
  • 3. ROR icon University of Massachusetts Amherst
  • 4. ROR icon Rutgers, The State University of New Jersey

Files

codebase.zip

Files (164.8 MB)

Name Size Download all
md5:62d41f145334c985332edda026605e1e
164.8 MB Preview Download

Additional details

Funding

U.S. National Science Foundation
SHF: Medium: Generating Correctness Proofs with Neural Networks 1955457
U.S. National Science Foundation
SHF: Small: Toward Fully Automated Formal Software Verification 2210243
U.S. National Science Foundation
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs 2220892
Defense Advanced Research Projects Agency
HR0011-24-2-0307

Software

Repository URL
https://github.com/sakekasi/cobblestone
Programming language
Python