AI will make formal verification go mainstream

I remember sitting in a dimly lit conference room a few months back, listening to a talk about formal...