https://www.auditwizard.io/blog/securing-smart-contracts-with-formal-verification-tools
介绍了常见的 #formalVerify 工具，并使用 kontrol 给出了示例