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
