https://www.redbelly.network/blog/formal-verification