kasibatla-2026-cobblestone:
  type: article
  title: 'Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification'
  author:
  - Kasibatla, Saketh Ram
  - Agrawal, Arpan
  - Brun, Yuriy
  - Lerner, Sorin
  - Ringer, Talia
  - First, Emily
  date: 2026-04
  page-range: 704-716
  url: http://dx.doi.org/10.1145/3744916.3773178
  serial-number:
    doi: 10.1145/3744916.3773178
  parent:
    type: proceedings
    title: Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering
    publisher: ACM
    parent:
      type: proceedings
      title: ICSE ’26