Coverage-Project Finding General Methods to Ensure Pools' Security Coverage Using Formal Verification