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

Zengin, Ahmet; Ozturk, Muhammed

doi:10.1016/j.simpat.2012.05.013

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-Expanded, Scopus)

Yayın Türü: Makale / Tam Makale
Cilt numarası: 29
Basım Tarihi: 2012
Doi Numarası: 10.1016/j.simpat.2012.05.013
Dergi Adı: SIMULATION MODELLING PRACTICE AND THEORY
Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
Sayfa Sayıları: ss.193-206
Süleyman Demirel Üniversitesi Adresli: Hayır

Ö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.