If you are interested in formal verification. Check out the project website: https://remix7531.com