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

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