SCSC2003 Abstract S7790
Formal Methods in the Verification and Validation of Simulation Models
Formal Methods in the Verification and Validation of Simulation Models
Submitting Author: Mr. Ken Kennedy
Abstract:
This paper examines the use of formal methods in the verification and validation of simulation models. The verification methods covered are deductive inference and model checking. The validation methods discussed are statistical tests and inductive inference.
We demonstrate how the different formal methods work for verification and validation on the simple pendulum problem of physics. The simple pendulum problem was chosen because it is conceptually easy to understand.
Back to SCSC2003 Abstracts