Sofia Moura (Jun 06 2026 at 11:43): Sofia Moura (Jun 06 2026 at 11:43):Are you working with verification-aware programming languages or other formal methods tools? If so, we need your help!
As part of a research project, we're investigating how developers approach software verification with a quick 15-minute survey. Whether you use Dafny, Verus, Lean, Rocq, Agda, or other similar languages, your practical experience is incredibly valuable!
Click here to participate: http://bit.ly/3SjeFdm
Thank you!
Last updated: Jun 13 2026 at 17:25 UTC