PRINCIPLES OF VERIFICATION OF INFORMATION MODELS AND ALGORITHMS

Author(s): Elsukov Pavel Yurievich

Rubric: Methodological research

DOI: 10.21777/2500-2112-2017-2-81-86

Release: 2017-2 (19)

Pages: 81-86

Keywords: Information models, verification, algorithm, implementation algorithm, temporal logic

Annotation: The article discloses the content of the principles of verification of information models. The article introduces the concept of model verification. The concept of an implementation algorithm is introduced. The article proves that verification of software is the basis for verification of information models. The article shows that the algorithm for implementing the information verified model has greater reliability in comparison with the conventional algorithm. The article shows the a priori and a posteriori principles of verification of information models. The article describes the difference between the algorithm and the implementation algorithm

Bibliography: Elsukov PA.YU. PRINCIPLES OF VERIFICATION OF INFORMATION MODELS AND ALGORITHMS // Education Resources and Technologies. – 2017. – № 2 (19). – С. 81-86. doi: 10.21777/2500-2112-2017-2-81-86