Leveraging Applications Of Formal Methods by