People keep saying functional languages are easier to verify but most practical verification tools (model checkers and the like) are built on top of imperative languages.