Comment by subbdue

The people and breakthroughs behind Intel’s quiet revolution in formal verification