I doubt that very much.
Though, maybe you were just questioning the "perfectly" portion. I mean "perfectly" in the sense of "validates all of the user's requirements." Not in the "covers all paths" or "anticipates all possible scenarios."
Consider, crash test dummies. This is a form of testing that is far far far more expensive than having a complete model of the system. Yet, we still do them. We do not rely solely on them, you say? Of course not. Apologies if it sounded like that was my point.
Edit: Also, it is also possible to use traditional QA tools without having a fully dedicated team. That is to say, unit tests are not a QA tool. Yet, we constantly try to replace the QA team with them.
If after that interaction (or before) there is an easy way to construct your model such that this can be fully automated, do so. But, essentially, make sure you are working with QA.
This would be akin to a football team ignoring the special teams and not considering them in any decisions. Sure, if you have a perfect offence this will work. Most of us do not.
Edit: So, not sure why I began with "nonsense." Apologies for the tone on that.
So, my point is to emphasis that all of the tools my direct pivot discussed were not necessarily created by the pilots/doctors/etc. Instead of the emphasis being on "having smart programmers that write lots of tests," lets move it to "having programmers that focus tests on problematic areas with insite gained from other teams."
(That make sense?)