Comment by engineeringwoke

You can't formally verify anything that uses consensus, which is the backbone of the entire web. It's a complete non-starter.