The Convergence of Functional with Safety, Security and PPA Verification

The Convergence of Functional with Safety, Security and PPA Verification
by Daniel Nenni on 11-05-2024 at 10:00 am

Future is Formal v7

Formal For All!

“Do I need a PhD to use formal verification?”
“Can formal methods really scale?”
“Is it too difficult to write formal properties that actually prove something?”
“If I can’t get a proof, should I just hope for the best?”
“Do formal methods even offer useful coverage metrics?”

Discouraging words to say the least, but… Read More