[anonzzzies]

Yes, lot of formal verifications are (almost) free and most others are not. But if you at least take the free ones, why not…