Really Rethinking 'Formal Methods'

We must question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed.