Formal Apps - Verification Horizons

The DVCon U.S. 2026 Call for Papers deadline is Sunday, September 7th at 11:59 PM. Don’t miss your chance to share your expertise…

Attention anyone interested in Formal Verification: after a hiatus due to you-know-what, osmosis is back in-person this coming December 8…

With last year’s acquisition of OneSpin, we now have a valuable addition to the solutions I described in The Many…

Among the reasons to go to university are the opportunities to open new career paths by learning new technical skills,…

As a companion to my previous post on Learn Formal the Easy Way, allow me to explain what are often…

On the short list of positive things to come out of the past year are the formal verification-focused conference papers…

A previous post discussed the high level impact of the new AMC 20-152A guidance on DO-254 programs. That post touched…

As I noted at the beginning of this series, the term “logic equivalence checking” (LEC) applies to a number of…

No one ever said that functional verification was easy. In fact, from a computer science theoretical perspective verification is considered…