RE: [eiffel-users] Survey On Verification-Aware Programming

[Bertrand Meyer]

> such as Dafny, Verus, Lean, KeY, Agda

 

You are going to get much traction or sympathy in this group when people see you are not even mentioning Eiffel. They might admire the gall though.

 

-- BM

 

From: eiffel...@googlegroups.com <eiffel...@googlegroups.com> On Behalf Of Sofia Moura
Sent: 9 June, 2026 4:29
To: Eiffel Users <eiffel...@googlegroups.com>
Subject: [eiffel-users] Survey On Verification-Aware Programming

 

📢 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, Lean, KeY, 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: https://cmu.ca1.qualtrics.com/jfe/form/SV_0rk6GF65Bvonmnk

Thank you for your time!

--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/cc7d288e-96c4-4b6c-a87d-53e5f4a74386n%40googlegroups.com.

["João M. Rocha"]

I agree with Bertrand that not mentioning Eiffel in an Eiffel group, specially on a Verification-Aware PL topic, was a bold move.

At the same time, Sofia did take the time to find us, and Eiffel is indeed included in the survey.

We were discussing in another thread the importance of reaching out to the world to promote Eiffel, and in that sense, it may be in our interest to answer the survey since the results will likely be published.

João

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/09cb01dcf81f%241fcee680%245f6cb380%24%40inf.ethz.ch.