Corpus ID: 58752938

A formal program model for discrete event simulation and its use in the verification and validation of system models and implementations.

@inproceedings{Cutler1980AFP,
  title={A formal program model for discrete event simulation and its use in the verification and validation of system models and implementations.},
  author={M. Cutler},
  year={1980}
}
  • M. Cutler
  • Published 1980
  • Computer Science
  • The use of simulation is system design is hampered by the problem of verifying that the simulation program and the model it exemplifies properly represent the system being simulated. Proving properties of a simulation program as a means of defending behavioral assertions about the simulated system (validation) is difficult for the normal user if he or she is a programmer/analyst and not a statistician. A formal flowchart model for discrete event simulation programs is developed as a vehicle for… CONTINUE READING
    6 Citations

    Topics from this paper