Enabling Unit Proofing for Software Implementation Verification. - Paschal C. Amusuo; Parth V. Patil; Owen Cochell; Taylor Le Lievre; James C. Davis 001 (CoRR, 2024)

A Unit Proofing Framework for Code-level Verification: A Research Agenda. - Paschal C. Amusuo; Parth V. Patil; Owen Cochell; Taylor Le Lievre; James C. Davis 001 (NIER@ICSE, 2025)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification. - Paschal C. Amusuo; Owen Cochell; Taylor Le Lievre; Parth V. Patil; Aravind Machiry; James C. Davis 001 (CoRR, 2025)