Email Gateway (Jan 05 2021 at 12:24): Email Gateway (Jan 05 2021 at 12:24):From: Alexander Kogtenkov via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Dear Colleagues,
A group of us are preparing a survey on systems that have been both formally verified and deployed for actual use. To make sure we do not forget any important development, we have devised a questionnaire. If you have experience with such a system, please help by filling the questionnaire.
The questionnaire only includes a few questions and should take a few minutes to fill. You can find it at
https://bit.ly/2LMxbZB
If you know of others who also have information to contribute, please bring the questionnaire to their attention.
Thank you in advance and best regards,
Alexander Kogtenkov
Last updated: Jan 04 2025 at 20:18 UTC