[Verifpal] Verifpal for academic formal verification?

Renaud Lifchitz renaud.lifchitz at gmail.com
Thu Sep 12 12:11:34 CEST 2019

Hi Nadim,

Thanks again for your very active contribution to the project.

Do you have a roadmap or a timeline for when it could be used for academic
formal verification work like ProVerif?

Is it planned or will it stay like now for training/education mostly?

Thank you.

Best regards,

Renaud Lifchitz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190912/a64d5583/attachment.htm>

More information about the Verifpal mailing list