[Verifpal] Verifpal for academic formal verification?

[Nadim Kobeissi]

Dear Renaud,

This is the current major research goal for Verifpal and is underway, with
a planned publication for early 2020.

Nadim Kobeissi
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
> https://lists.symbolic.software/mailman/listinfo/verifpal
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190912/210237c6/attachment.htm>