I would think that once formal methods become easier to use they will be super useful. I am pretty sure 10 or 20 years they would have laughed at you if you had

I would think that once formal methods become easier to use they will be super useful. I am pretty sure 10 or 20 years they would have laughed at you if you had talked about automated testing on the scale we do now.