@misc{indiciaeb05c41c96113,
  title = {Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver generation},
  author = {Hansol Suh and Jan Hückelheim and Stephen Siegel},
  year = {2026},
  url = {https://arxiv.org/abs/2609.31687},
  note = {Source identifier: 2609.31687}
}