The Role of Nondeterminism in Computational Model Verification and Validation · Study