10 Functional verification involves checking that
the model possesses the ability to exhibit the range of capabilities
required to perform the intended simulations. This requirement is
task specific. To satisfy functional verification the model developers
must set out in a comprehensible manner the complete range of model
capabilities and inherent assumptions and give a guide to the correct
use of these capabilities. This information should be readily available
in technical documentation that accompanies the software.