[Verifpal] Verifpal Scientific Paper on ePrint

Nadim Kobeissi nadim at symbolic.software
Thu Aug 29 13:33:52 CEST 2019

Hello everyone,

A paper on Verifpal is now published on ePrint. It might be an interesting read to those more interested on the tool’s technical and research background:

Have a great day,

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

More information about the Verifpal mailing list