Cobblestone: Iterative Automation for Formal Verification - Saketh Ram Kasibatla (arXiv.org)