Formal Verification

I'm still working on this content. Please check again soon.