Abstract
A sustainable development of the sectoral markets should be viewed through the prism of market structure types and the factors of their management. The difference of market structure types requires different instruments of competition policy, which is a set of consistent measures implemented by state in order to ensure the conditions for the competitiveness of economic entities, the increase of Russian economy efficiency and competitiveness, the modernization of enterprises and the creation of conditions to ensure citizen needs in goods services by cost-effective way. The article analyzed the problems of violation determination in the course of public procurement. The aim of the work is to develop an approach to the monitoring of procurement procedure correctness. In the course of the study, the regulatory framework was analyzed in the field of public procurement, as well as the most frequent violations encountered in procurement activities. The result of the work is the development of an approach to monitor the procurement activities based on deviation markers, which can be used as the tool for the initial identification of suspicious transactions by state and municipal authorities. The article was prepared within the framework of the scientific project No. 16-06-00062 supported by Russian Foundation for Basic Research.
Highlights
At present, the methods of program-targeted management by the development of various socio-economic systems of a complex structure, such as territories, regions, regional systems, as well as various separate socio-economic objects, and in particular, education objects, such as universities, which can be seen as systems
To solve the problem of "correct" development programs, we apply the modification of the method Model Checking (Giunchiglia and Traverso, 1999), used to verify computer programs
In Model Checking, the model M of a particular system is represented by the constructions of finite machine type or Kripke models, and the requirements for the correct functioning of the system are described in the form of the formula φ of some language of L. specifications
Summary
The methods of program-targeted management by the development of various socio-economic systems of a complex structure, such as territories, regions, regional systems (education, health, tourism), as well as various separate socio-economic objects, and in particular, education objects, such as universities, which can be seen as systems. We will consider the problem of "correct" programs for the development of various systems using the example of university development programs. To solve the problem of "correct" development programs, we apply the modification of the method Model Checking (Giunchiglia and Traverso, 1999), used to verify computer programs. In Model Checking, the model M of a particular system is represented by the constructions of finite machine type or Kripke models, and the requirements for the correct functioning of the system are described in the form of the formula φ of some language of L. specifications. During the study of a particular system operation, the constructing of its model in the form of an adequate finite machine or Kripke model is very laborious and cumbersome
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
