In the article, the authors developed the task of verifying the achievability of a set of goals carried out in managing human-machine, economic, and social systems, as well as in their design and planning of activities. For checking achievability, we propose to use the formal apparatus of Boolean algebra, graph and production models, systems of linear homogeneous Kolmogorov-Chapman differential equations, and nonlinear differential equations of system dynamics.