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

[Nadim Kobeissi]

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