TY  - RPRT
TI  - Function Contracts for Bounded Model Checking of C Programs
AU  - Weiqi Wang
AU  - Marie Farrell
AU  - Liping Zhao
AU  - Lucas C. Cordeiro
PY  - 2026
UR  - https://arxiv.org/abs/2610.26089
ID  - 2610.26089
ER  -