Survey on Verification-Aware Programming
5 views
Skip to first unread message
Sofia Moura
Jun 9, 2026, 12:51:08 PMJun 9
to mbeddr-discuss
📢Calling All Users of Verification-Aware Programming Languages!
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 mbeddr, Dafny, Verus, Lean, Rocq, Agda, or other similar languages, your practical experience is incredibly valuable!
Click here to participate: https://cmu.ca1.qualtrics.com/jfe/form/SV_0rk6GF65Bvonmnk
Thank you!
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 mbeddr, Dafny, Verus, Lean, Rocq, Agda, or other similar languages, your practical experience is incredibly valuable!
Click here to participate: https://cmu.ca1.qualtrics.com/jfe/form/SV_0rk6GF65Bvonmnk
Thank you!
Reply all
Reply to author
Forward
0 new messages