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