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

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.