The aim of the research presented in this paper was to solve one of the fundamental problems of modelling and simulation, i.e., verification of a model as a scientific tool of operations research. To attack this problem, certain crucial issues in the philosophy of science (the demarcation problem, the principle of verifiability) must be redefined. In discussing the question of verification, a procedure (the so called RAD-VER procedure) for verifying a model of a microeconomic system, in our case – a firm, is formulated. It is assumed that verification is a ceaseless process of evaluating a model’s scientificity from the standpoints of deductive reasoning, coherency and empiricism. Verification has been divided into two stages: the verification of the assumptions underlying the model of a firm and the verification of the simulator.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.