Tool building in formal methods

摘要

Formal methods can be complex to apply and integrate in industrial processes. Changing developers' habits is a difficult task. That is why sophisticated and easy-to-use tools are needed. Tools are almost as difficult to build as the theory. They must hide the formalism behind a convivial interface and must provide readable feedback and error messages. Moreover, they must be highly reliable. It would be ironic to use formal methods through a defective tool.