Published August 20, 2025 | Version 1.0
Software Open

Artifacts for Paper "Software Model Checking via Summary-Guided Search"

Authors/Creators

  • 1. ROR icon The University of Texas at Austin
  • 2. Princeton University
  • 3. EDMO icon University of Wisconsin-Madison

Description

Artifacts for Paper "Software Model Checking via Summary-Guided Search" by Ruijie Fang, Zachary Kincaid, Thomas Reps for OOPSLA 2025. The Zenodo archive includes instructions to run the image (gps-oopsla25-ae-faq-oopsla2025.zip) as well as the benchmark programs and scripts we used (gps-benchmarks-artifact-oopsla2025.zip) For the actual Docker image, please go to the following URL: https://hub.docker.com/r/ruijiefang/gps-oopsla25-ae/ 

Files

gps-benchmarks-artifact-oopsla2025.zip

Files (5.7 MB)

Name Size Download all
md5:507d0be8782ecb14e5ab25a78c98fb0d
4.5 MB Preview Download
md5:629f68bd334b420f2c146b7de9b30c42
1.3 MB Preview Download

Additional details

Software

Repository URL
https://github.com/ruijiefang/gps-oopsla25-ae-faq
Development Status
Active