Title :
Verifying and validating a simulation model
Author :
Hu, Anbin ; San, Ye ; Wang, Zicai
Author_Institution :
Simulation Res. Center, Harbin Inst. of Technol., China
Abstract :
This paper presents the verification and validation of a simulation model with the emphasis on possible modification. Based on the analysis, a new framework is proposed, and new terms are defined. An example is employed to demonstrate how the framework and related terms are used in verifying and validating an existing model
Keywords :
digital simulation; formal verification; simulation model; validation; verification; Analytical models; Computational modeling; Computer simulation; Decision making; Documentation; Programming profession;
Conference_Titel :
Simulation Conference, 2001. Proceedings of the Winter
Conference_Location :
Arlington, VA
Print_ISBN :
0-7803-7307-3
DOI :
10.1109/WSC.2001.977343
