જો આપણે મોડલ ચકાસણી વિશે વાત, અહીં આપણે જરૂરી પ્રત્યયાત્મક અથવા કોમ્પ્યુટર મોડેલો યોગ્ય પ્રદર્શન ચકાસણી પર ધ્યાન કેન્દ્રિત કરશે  ગાણિતિક મોડેલો.