[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