How to check if DFA is actually a correct model of the intended system?
If you want a guarantee, then yes, verification is the only approach.  That's pretty much the definition of what verification means.

If you want a heuristic check, there are a number of testing methods based on synthesizing test cases (perhaps based on the DFA) and then checking that the vending machine's actual behavior on those test cases matches your DFA's.