With eight papers in two separate sessions focused exclusively on formal verification, one could assert (pun intended) that this year’s…
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,…
But First, The Backstory… I’ll take you back to May 4th 2020 to the last in a series of verification…
As a companion to my previous post on Learn Formal the Easy Way, allow me to explain what are often…
Wouldn’t it be great if there were something that would stop you from leaving the house wearing mismatched clothes – I mean without a clean design?
I’m really excited to share with you a very special issue of the Verification Horizons newsletter for September, 2021. The…
The sight of kids going back to school can prompt feelings of joy and renewal – or trigger less pleasant…
The primary focus of DO-254, referred to as ED-80 in Europe, is hardware reliability of airborne electronic hardware. DO-254 is…