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

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text

Authors: Kasibatla, Saketh Ram, Agarwal, Arpan, Brun, Yuriy, Lerner, Sorin, Ringer, Talia, First, Emily

DOI: 10.5281/zenodo.17603489

Cited by: 0

Publication details