Validation and verification of simulation models
WSC '92 Proceedings of the 24th conference on Winter simulation
The simulation model development environment: an overview
WSC '92 Proceedings of the 24th conference on Winter simulation
Building correct simulation models is difficult
WSC '92 Proceedings of the 24th conference on Winter simulation
Verification and validation of simulation models
WSC '94 Proceedings of the 26th conference on Winter simulation
Validation, verification, and testing techniques throughout the life cycle of a simulation study
WSC '94 Proceedings of the 26th conference on Winter simulation
Principles and techniques of simulation validation, verification, and testing
WSC '95 Proceedings of the 27th conference on Winter simulation
Verifying and validating simulation models
WSC '96 Proceedings of the 28th conference on Winter simulation
Verification validation and accreditation of simulation models
Proceedings of the 29th conference on Winter simulation
Verification & validation in military simulations
Proceedings of the 29th conference on Winter simulation
The Visual Simulation Environment technology transfer
Proceedings of the 29th conference on Winter simulation
Verification and validation of simulation models
Proceedings of the 30th conference on Winter simulation
Simulation model verification and validation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Validation and verification of simulation models
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Guidelines for successful simluation studies (tutorial session)
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Model generation issues in a simulation support environment
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Proceedings of the 32nd conference on Winter simulation
Verification and validation: verification and validation of simulation models
Proceedings of the 35th conference on Winter simulation: driving innovation
Validation and verification of simulation models
WSC '04 Proceedings of the 36th conference on Winter simulation
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
Verification and validation of simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Verification and validation of simulation models
Proceedings of the 40th Conference on Winter Simulation
Verification and validation of simulation models
Winter Simulation Conference
Verification and validation of simulation models
Proceedings of the Winter Simulation Conference
Verification and validation of simulation models
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
There is a lack of sufficient understanding and realization of the importance of simulation model verification in the simulation community. The demands placed on the software which serves as a computer-executable representation of a simulation model are increasing. In the field of software engineering, there is an abundance of software verification techniques that are applicable for simulation model verification. This paper is intended to reduce the communication gap between the software engineering and simulation communities by presenting software verification techniques applicable for simulation model verification in a terminology understandable by a simulationist. A taxonomy of verification techniques is developed to guide the simulationist in selecting and using such techniques. Characteristics, advantages, and disadvantages of verification techniques under each category are described.