Pretty middlebrow dismissal. How about educating us about something pertinent to the paper <i>in particular</i>, instead of seemingly just scoffing at the idea of formal verification of software <i>in general</i>?