Cazamariposas: automated instability debugging in SMT-based program verification

DOI10.1007/978-3-031-99984-0_5MaRDI QIDQ6869964zbMATH OpenFDO

Authors Amar Shah, Zhengyao Lin, Marijn J. H. Heule, Bryan Parno, Yi Zhou

Publication date 21 January 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-99984-0_5

zbMATH Keywords

program verificationproof instabilitySMT

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• Efficient E-Matching for SMT Solvers
• Faster, higher, stronger: E 2.3
• scientific article; zbMATH DE number 6423829 (Why is no real title available?)
• Sine qua non for large theory reasoning

This page was built for publication: Cazamariposas: automated instability debugging in SMT-based program verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6869964)