[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:


It might be an enjoyable read to many of you.


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

More information about the Verifpal mailing list