Formal verification and validation with DEVS-Suite: OSPF Case study


Zengin A., Ozturk M. M.

SIMULATION MODELLING PRACTICE AND THEORY, cilt.29, ss.193-206, 2012 (SCI İndekslerine Giren Dergi) identifier identifier

  • Cilt numarası: 29
  • Basım Tarihi: 2012
  • Doi Numarası: 10.1016/j.simpat.2012.05.013
  • Dergi Adı: SIMULATION MODELLING PRACTICE AND THEORY
  • Sayfa Sayısı: ss.193-206

Özet

Validation is a degree of which how correct a model represents the behavior of its system counterpart from the perspective of intended use of the model. The degree of representation of the model or abstraction is determined by the modeler according to user demands and objectives. Whenever the modeler and simulation user's demands are satisfied, the model is considered as valid.