Leveraging Applications Of Formal Methods, Verification and Validation