Leveraging Applications Of Formal Methods, Verification, And Validation by