Why is formal verification not getting the traction it should. The good doctor has some thoughts on that... and a new solution.
University of Southampton
Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.
View All Sponsors