Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Questionnaire on deployed verified systems

view this post on Zulip Email Gateway (Jan 05 2021 at 12:24):

From: Alexander Kogtenkov via Cl-isabelle-users <>
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

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: Dec 08 2021 at 09:20 UTC