[Verifpal] Verifpal for academic formal verification?

[Renaud Lifchitz]

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>