• DocumentCode
    2119509
  • Title

    Verifying and validating a simulation model

  • Author

    Hu, Anbin ; San, Ye ; Wang, Zicai

  • Author_Institution
    Simulation Res. Center, Harbin Inst. of Technol., China
  • Volume
    1
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    595
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Simulation Conference, 2001. Proceedings of the Winter
  • Conference_Location
    Arlington, VA
  • Print_ISBN
    0-7803-7307-3
  • Type

    conf

  • DOI
    10.1109/WSC.2001.977343
  • Filename
    977343
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2119509