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


Zengin A., Ozturk M. M.

SIMULATION MODELLING PRACTICE AND THEORY, vol.29, pp.193-206, 2012 (Journal Indexed in SCI) identifier identifier

  • Publication Type: Article / Article
  • Volume: 29
  • Publication Date: 2012
  • Doi Number: 10.1016/j.simpat.2012.05.013
  • Title of Journal : SIMULATION MODELLING PRACTICE AND THEORY
  • Page Numbers: pp.193-206

Abstract

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.