[Verifpal] Verifpal for academic formal verification?
nadim at symbolic.software
Thu Sep 12 12:34:13 CEST 2019
This is the current major research goal for Verifpal and is underway, with
a planned publication for early 2020.
Symbolic Software • https://symbolic.software
Sent from my phone
On Thu, Sep 12, 2019, 12:11 PM Renaud Lifchitz via Verifpal
<verifpal at lists.symbolic.software> wrote:
> 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
> Verifpal mailing list
> Verifpal at lists.symbolic.software
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Verifpal