Leveraging Applications Of Formal Methods, Verification, And Validation door