When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus
arXiv:2610.20676v1 Announce Type: new Abstract: Correctness feedback suppresses the very evidence that specification-completeness auditing is designed to uncover: programs that satisfy a written contract but violate intended behavior. We...
Read more: https://arxiv.org/abs/2610.20676
Scan with your phone
Scan with your phone