Cover Image

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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Kasibatla, Saketh Ram, Agarwal, Arpan, Brun, Yuriy, Lerner, Sorin, Ringer, Talia, First, Emily
Format: Preprint
Published: 2024
Subjects:
Logic in Computer Science
Artificial Intelligence
Programming Languages
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items