[Verifpal] How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol

Nadim Kobeissi nadim at symbolic.software
Sun Apr 5 18:13:53 CEST 2020


Hello everyone,

I’d like to point your attention to the first ever post on the Symbolic Software/Verifpal blog:

https://blog.symbolic.software/2020/04/05/dp-3t-verifpal/

It might be an enjoyable read to many of you.

Cheers,

Nadim Kobeissi
Symbolic Software • https://symbolic.software



More information about the Verifpal mailing list