[Verifpal] Announcing VerifHub

Nadim Kobeissi nadim at symbolic.software
Fri Jun 26 15:51:08 CEST 2020


Hello everyone,

Verifpal 0.14.6 introduces support for VerifHub:
https://verifhub.verifpal.com/

In the near future, Verifhub will also supporting viewing the analysis results for models within the VerifHub URL itself.

Feedback welcome.

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



More information about the Verifpal mailing list