Dafny

Latest news

1. 16 Oct
   Correctness feedback can erase evidence in specification-completeness auditing

   Researchers show that giving corrective correctness feedback during auditing suppresses evidence of specification violations in Verus/Rust tasks. Independent no-feedback discovery more than doubles certified-witness yield (59.0% versus 27.1%), and preserving those witnesses improves repair effectiveness (Phase-Revised 81.3% vs IS-Revised 62.5%).

   Research · 1 source

Articles

No articles about Dafny yet.