[Verifpal] How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol
nadim at symbolic.software
Sun Apr 5 18:13:53 CEST 2020
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.
Symbolic Software • https://symbolic.software
More information about the Verifpal