Quotes on Formal Method, Model Checking

1. "The job of formal methods is to elucidate the assumptions upon which formal correctness depends." --Tony Hoare

2. "Software engineers want to be real engineers. Real engineers use mathematics. Formal methods are the mathematics of software engineering. Therefore, software engineers should use formal methods." --Mike Holloway

3. "Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding." --Edsger Dijkstra

4. "Formal methods will never have a signi?cant impact until they can be used by people that don't understand them." --Tom Melham

5. "We argue that proof construction is unnecessary in the case of finite state concurrent systems and can be replaced by a model-theoretic approach which will mechanically determine if the system meets a specification expressed in propositional  temporal logic." --EM Clarke