Naviya: Securing the System: Formal Methods for Error-Free Software