THE TURNKEY SOLUTIONS TO FORMALLY VERIFY AND GUARANTEE THE SOFTWARE IS SAFE AND SECURE