Study Of Equivalence In Systems Engineering Within The Frame Of Verification