It is essential to select a form of validation that is appropriate for the type of
research result and the method used to obtain the result. As an obvious example, a formal model should be supported by rigorous derivation and proof, not by one or two simple examples.