TY  - RPRT
TI  - Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs
AU  - Po-Chun Chien
AU  - Nian-Ze Lee
AU  - Armin Biere
AU  - Dirk Beyer
PY  - 2026
UR  - https://arxiv.org/abs/2608.07397
ID  - 2608.07397
ER  -