Calling All Users of Verification-Aware Programming Languages!
Hello everyone,
Do you use verification-aware programming languages or other formal methods tools (such as Dafny, Verus, Spark Ada, Rocq, Agda, or similar)? 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. Your practical experience is incredibly valuable!
Click here to participate Qualtrics Survey | Qualtrics Experience Management
Thank you for your time!