@misc{indiciae643298932f04,
  title = {Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification},
  author = {Paschal C. Amusuo and Owen Cochell and Taylor Le Lievre and Parth V. Patil and Aravind Machiry and James C. Davis},
  year = {2025},
  url = {https://arxiv.org/abs/2503.13762},
  note = {Source identifier: 2503.13762}
}