Don't be overwhelmed by all the steps required by the new SysMLv2 verification approach! Dr Darren elaborates:
Test engineering is intrinsically very tricky. This is something SysMLv1 didn't real conquer, and it came under quite a bit of criticism for its coverage of verification, some of it fair, some of it complete nonsense, and some of it entirely missing the point; test engineering is intrinsically hard.
Having worked through quite a few verification modelling cases now in SysMLv2, I'm convinced it really has nailed this extremely challenging area of systems engineering, or at least as well as it can be.
"Everything should be made as simple as possible, but not simpler."
Often attributed to Einstein (but has no primary sources).
You can't make something "simple" that is not intrinsically simple. Test engineering is NOT intrinsically simple.