@inproceedings{kasibatla-2026-cobblestone, series={ICSE ’26}, title={Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification}, url={http://dx.doi.org/10.1145/3744916.3773178}, DOI={10.1145/3744916.3773178}, booktitle={Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering}, publisher={ACM}, author={Kasibatla, Saketh Ram and Agrawal, Arpan and Brun, Yuriy and Lerner, Sorin and Ringer, Talia and First, Emily}, year={2026}, month=Apr, pages={704–716}, collection={ICSE ’26} }