{"id":477280,"date":"2023-08-09T09:10:23","date_gmt":"2023-08-09T09:10:23","guid":{"rendered":""},"modified":"2023-09-05T11:14:24","modified_gmt":"2023-09-05T11:14:24","slug":"formal-verification","status":"publish","type":"wiki","link":"https:\/\/oneproxy.pro\/in\/wiki\/formal-verification\/","title":{"rendered":"\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928"},"content":{"rendered":"<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0902\u092a\u094d\u092f\u0942\u091f\u0930 \u0935\u093f\u091c\u094d\u091e\u093e\u0928 \u0914\u0930 \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0907\u0902\u091c\u0940\u0928\u093f\u092f\u0930\u093f\u0902\u0917 \u092e\u0947\u0902 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0914\u0930 \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u094b \u0917\u0923\u093f\u0924\u0940\u092f \u0930\u0942\u092a \u0938\u0947 \u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0909\u092a\u092f\u094b\u0917 \u0915\u0940 \u091c\u093e\u0928\u0947 \u0935\u093e\u0932\u0940 \u090f\u0915 \u0915\u0920\u094b\u0930 \u0935\u093f\u0927\u093f \u0939\u0948\u0964 \u0907\u0938\u092e\u0947\u0902 \u092f\u0939 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0917\u0923\u093f\u0924\u0940\u092f \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0928\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948 \u0915\u093f \u0915\u094b\u0908 \u0938\u093f\u0938\u094d\u091f\u092e \u0905\u092a\u0947\u0915\u094d\u0937\u093e \u0915\u0947 \u0905\u0928\u0941\u0930\u0942\u092a \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u0930\u0924\u093e \u0939\u0948 \u0914\u0930 \u0909\u0938\u0915\u0947 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936\u094b\u0902 \u0915\u094b \u092a\u0942\u0930\u093e \u0915\u0930\u0924\u093e \u0939\u0948\u0964 \u092f\u0939 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u0939\u0948, \u091c\u0939\u093e\u0902 \u0924\u094d\u0930\u0941\u091f\u093f\u092f\u094b\u0902 \u0915\u0947 \u0917\u0902\u092d\u0940\u0930 \u092a\u0930\u093f\u0923\u093e\u092e \u0939\u094b \u0938\u0915\u0924\u0947 \u0939\u0948\u0902, \u091c\u0948\u0938\u0947 \u0915\u093f \u090f\u092f\u0930\u094b\u0938\u094d\u092a\u0947\u0938, \u091a\u093f\u0915\u093f\u0924\u094d\u0938\u093e \u0909\u092a\u0915\u0930\u0923\u094b\u0902 \u0914\u0930 \u0935\u093f\u0924\u094d\u0924\u0940\u092f \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u092e\u0947\u0902\u0964<\/p>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0940 \u0909\u0924\u094d\u092a\u0924\u094d\u0924\u093f \u0915\u093e \u0907\u0924\u093f\u0939\u093e\u0938 \u0914\u0930 \u0907\u0938\u0915\u093e \u092a\u0939\u0932\u093e \u0909\u0932\u094d\u0932\u0947\u0916<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0940 \u091c\u0921\u093c\u0947\u0902 \u0915\u0902\u092a\u094d\u092f\u0942\u091f\u0930 \u0935\u093f\u091c\u094d\u091e\u093e\u0928 \u0915\u0947 \u0936\u0941\u0930\u0941\u0906\u0924\u0940 \u0926\u093f\u0928\u094b\u0902 \u092e\u0947\u0902 \u092a\u093e\u0908 \u091c\u093e\u0924\u0940 \u0939\u0948\u0902 \u091c\u092c \u0936\u094b\u0927\u0915\u0930\u094d\u0924\u093e\u0913\u0902 \u0928\u0947 \u0915\u093e\u0930\u094d\u092f\u0915\u094d\u0930\u092e\u094b\u0902 \u0914\u0930 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0940 \u0916\u094b\u091c \u0936\u0941\u0930\u0942 \u0915\u0940\u0964 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0940 \u0905\u0935\u0927\u093e\u0930\u0923\u093e \u092a\u0939\u0932\u0940 \u092c\u093e\u0930 1930 \u0915\u0947 \u0926\u0936\u0915 \u092e\u0947\u0902 \u090f\u0932\u0928 \u091f\u094d\u092f\u0942\u0930\u093f\u0902\u0917 \u0926\u094d\u0935\u093e\u0930\u093e \u092a\u0947\u0936 \u0915\u0940 \u0917\u0908 \u0925\u0940, \u091c\u093f\u0938\u0928\u0947 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u092e\u0947\u0902 \u092c\u093e\u0926 \u0915\u0947 \u0935\u093f\u0915\u093e\u0938 \u0915\u0940 \u0928\u0940\u0902\u0935 \u0930\u0916\u0940\u0964<\/p>\n<p>\u0939\u093e\u0932\u093e\u0901\u0915\u093f, \u0935\u094d\u092f\u093e\u0935\u0939\u093e\u0930\u093f\u0915 \u0905\u0928\u0941\u092a\u094d\u0930\u092f\u094b\u0917\u094b\u0902 \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e \u0935\u094d\u092f\u093e\u092a\u0915 \u0909\u092a\u092f\u094b\u0917 1980 \u0915\u0947 \u0926\u0936\u0915 \u092e\u0947\u0902 \u0936\u0941\u0930\u0942 \u0939\u0941\u0906 \u091c\u092c \u0915\u0902\u092a\u094d\u092f\u0942\u091f\u0930 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0914\u0930 \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u092e\u0947\u0902 \u092a\u094d\u0930\u0917\u0924\u093f \u0928\u0947 \u0905\u0927\u093f\u0915 \u092a\u0930\u093f\u0937\u094d\u0915\u0943\u0924 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0940 \u0905\u0928\u0941\u092e\u0924\u093f \u0926\u0940\u0964 \u0924\u092c \u0938\u0947, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u0930\u0942\u092a \u0938\u0947 \u0935\u093f\u0915\u0938\u093f\u0924 \u0939\u0941\u0906 \u0939\u0948, \u0914\u0930 \u0906\u091c, \u092f\u0939 \u091c\u091f\u093f\u0932 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0940 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u0914\u0930 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092d\u0942\u092e\u093f\u0915\u093e \u0928\u093f\u092d\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u092c\u093e\u0930\u0947 \u092e\u0947\u0902 \u0935\u093f\u0938\u094d\u0924\u0943\u0924 \u091c\u093e\u0928\u0915\u093e\u0930\u0940<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0928\u093f\u0917\u092e\u0928\u093e\u0924\u094d\u092e\u0915 \u0924\u0930\u094d\u0915 \u0915\u0947 \u092e\u093e\u0927\u094d\u092f\u092e \u0938\u0947 \u0915\u093f\u0938\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u094b \u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0917\u0923\u093f\u0924\u0940\u092f \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0924\u093e \u0939\u0948\u0964 \u0915\u0947\u0935\u0932 \u092a\u0930\u0940\u0915\u094d\u0937\u0923 \u092f\u093e \u0938\u093f\u092e\u0941\u0932\u0947\u0936\u0928 \u092a\u0930 \u0928\u093f\u0930\u094d\u092d\u0930 \u0930\u0939\u0928\u0947 \u0915\u0947 \u092c\u091c\u093e\u092f, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u093e \u090f\u0915 \u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0914\u0930 \u0935\u093f\u0938\u094d\u0924\u0943\u0924 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902\u0964 \u0907\u0938 \u0926\u0943\u0937\u094d\u091f\u093f\u0915\u094b\u0923 \u092e\u0947\u0902 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u093e \u090f\u0915 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092e\u0949\u0921\u0932 \u092c\u0928\u093e\u0928\u093e, \u0907\u0938\u0915\u0940 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0915\u094b \u092a\u0930\u093f\u092d\u093e\u0937\u093f\u0924 \u0915\u0930\u0928\u093e \u0914\u0930 \u092b\u093f\u0930 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0909\u092a\u0915\u0930\u0923\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0915\u0947 \u0917\u0923\u093f\u0924\u0940\u092f \u0930\u0942\u092a \u0938\u0947 \u092f\u0939 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948 \u0915\u093f \u092e\u0949\u0921\u0932 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0915\u093e \u092a\u093e\u0932\u0928 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0940 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u092e\u0947\u0902 \u0906\u092e \u0924\u094c\u0930 \u092a\u0930 \u0928\u093f\u092e\u094d\u0928\u0932\u093f\u0916\u093f\u0924 \u091a\u0930\u0923 \u0936\u093e\u092e\u093f\u0932 \u0939\u094b\u0924\u0947 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936<\/strong>: \u092a\u0939\u0932\u0947 \u091a\u0930\u0923 \u092e\u0947\u0902 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0907\u091a\u094d\u091b\u093f\u0924 \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092d\u093e\u0937\u093e \u092e\u0947\u0902 \u092a\u0930\u093f\u092d\u093e\u0937\u093f\u0924 \u0915\u0930\u0928\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0964 \u092f\u0939 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u0915\u0947 \u0932\u093f\u090f \u090f\u0915 \u0938\u0902\u0926\u0930\u094d\u092d \u0915\u0947 \u0930\u0942\u092a \u092e\u0947\u0902 \u0915\u093e\u0930\u094d\u092f \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092e\u094b\u0921\u0932\u093f\u0902\u0917<\/strong>: \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u093e \u090f\u0915 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092e\u0949\u0921\u0932 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u092c\u0928\u093e\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964 \u092e\u0949\u0921\u0932 \u092a\u0930\u093f\u092e\u093f\u0924-\u0930\u093e\u091c\u094d\u092f \u092e\u0936\u0940\u0928\u094b\u0902, \u092a\u0947\u091f\u094d\u0930\u0940 \u0928\u0947\u091f, \u092f\u093e \u0905\u0928\u094d\u092f \u0917\u0923\u093f\u0924\u0940\u092f \u0905\u092e\u0942\u0930\u094d\u0924\u0924\u093e \u0915\u093e \u0930\u0942\u092a \u0932\u0947 \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u092e\u0949\u0921\u0932 \u091a\u0947\u0915\u0930\u094d\u0938 \u092f\u093e \u092a\u094d\u0930\u092e\u0947\u092f \u092a\u094d\u0930\u094b\u0935\u0930\u094d\u0938 \u091c\u0948\u0938\u0947 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0909\u092a\u0915\u0930\u0923 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u092e\u0949\u0921\u0932 \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u0915\u0930\u0928\u0947 \u0914\u0930 \u092f\u0939 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948 \u0915\u093f \u0915\u094d\u092f\u093e \u092f\u0939 \u0926\u093f\u090f \u0917\u090f \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936\u094b\u0902 \u0915\u094b \u092a\u0942\u0930\u093e \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u0941\u0927\u093e\u0930<\/strong>: \u092f\u0926\u093f \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092e\u0947\u0902 \u092e\u0949\u0921\u0932 \u0914\u0930 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0915\u0947 \u092c\u0940\u091a \u0915\u094b\u0908 \u0935\u093f\u0938\u0902\u0917\u0924\u093f\u092f\u093e\u0902 \u0909\u091c\u093e\u0917\u0930 \u0939\u094b\u0924\u0940 \u0939\u0948\u0902, \u0924\u094b \u0906\u0935\u0936\u094d\u092f\u0915 \u0938\u0941\u0927\u093e\u0930 \u0915\u093f\u090f \u091c\u093e\u0924\u0947 \u0939\u0948\u0902, \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u0926\u094b\u0939\u0930\u093e\u0908 \u091c\u093e\u0924\u0940 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092e\u093e\u0928\u094d\u092f\u0915\u0930\u0923<\/strong>: \u0905\u0902\u0924\u093f\u092e \u091a\u0930\u0923 \u092e\u0947\u0902 \u092f\u0939 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948 \u0915\u093f \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u092e\u0949\u0921\u0932 \u0907\u091a\u094d\u091b\u093f\u0924 \u0938\u093f\u0938\u094d\u091f\u092e \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u093e \u0938\u091f\u0940\u0915 \u0930\u0942\u092a \u0938\u0947 \u092a\u094d\u0930\u0924\u093f\u0928\u093f\u0927\u093f\u0924\u094d\u0935 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0940 \u0906\u0902\u0924\u0930\u093f\u0915 \u0938\u0902\u0930\u091a\u0928\u093e. \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0948\u0938\u0947 \u0915\u093e\u092e \u0915\u0930\u0924\u093e \u0939\u0948.<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0909\u092a\u0915\u0930\u0923\u094b\u0902 \u0915\u0940 \u0906\u0902\u0924\u0930\u093f\u0915 \u0938\u0902\u0930\u091a\u0928\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0940 \u0917\u0908 \u0935\u093f\u0936\u093f\u0937\u094d\u091f \u0924\u0915\u0928\u0940\u0915 \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u092d\u093f\u0928\u094d\u0928 \u0939\u094b \u0938\u0915\u0924\u0940 \u0939\u0948, \u0932\u0947\u0915\u093f\u0928 \u0938\u093e\u092e\u093e\u0928\u094d\u092f \u0924\u094c\u0930 \u092a\u0930, \u0909\u0928\u092e\u0947\u0902 \u0928\u093f\u092e\u094d\u0928\u0932\u093f\u0916\u093f\u0924 \u0918\u091f\u0915 \u0936\u093e\u092e\u093f\u0932 \u0939\u094b\u0924\u0947 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092d\u093e\u0937\u093e<\/strong>: \u090f\u0915 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0909\u092a\u0915\u0930\u0923 \u0915\u0947 \u0932\u093f\u090f \u090f\u0915 \u0938\u091f\u0940\u0915 \u0914\u0930 \u0938\u094d\u092a\u0937\u094d\u091f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092d\u093e\u0937\u093e \u0915\u0940 \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e \u0939\u094b\u0924\u0940 \u0939\u0948 \u091c\u093f\u0938\u092e\u0947\u0902 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0940 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0914\u0930 \u0917\u0941\u0923\u094b\u0902 \u0915\u094b \u0935\u094d\u092f\u0915\u094d\u0924 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0947\u0964 \u092f\u0939 \u092d\u093e\u0937\u093e \u0909\u092a\u0915\u0930\u0923 \u0915\u094b \u0917\u0923\u093f\u0924\u0940\u092f \u0924\u0930\u094d\u0915 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0915\u0947 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u092c\u093e\u0930\u0947 \u092e\u0947\u0902 \u0924\u0930\u094d\u0915 \u0915\u0930\u0928\u0947 \u0915\u0940 \u0905\u0928\u0941\u092e\u0924\u093f \u0926\u0947\u0924\u0940 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u093e\u0930\u094d\u0938\u093f\u0902\u0917 \u0914\u0930 \u0905\u092e\u0942\u0930\u094d\u0924\u0928<\/strong>: \u0909\u092a\u0915\u0930\u0923 \u0915\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092d\u093e\u0937\u093e \u0915\u094b \u092a\u093e\u0930\u094d\u0938 \u0915\u0930\u0928\u093e \u091a\u093e\u0939\u093f\u090f \u0914\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u093e \u090f\u0915 \u0905\u092e\u0942\u0930\u094d\u0924 \u092a\u094d\u0930\u0924\u093f\u0928\u093f\u0927\u093f\u0924\u094d\u0935 \u092c\u0928\u093e\u0928\u093e \u091a\u093e\u0939\u093f\u090f\u0964 \u092c\u0921\u093c\u0947 \u0914\u0930 \u091c\u091f\u093f\u0932 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u094b \u092a\u094d\u0930\u092d\u093e\u0935\u0940 \u0922\u0902\u0917 \u0938\u0947 \u0938\u0902\u092d\u093e\u0932\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u092f\u0939 \u0905\u092e\u0942\u0930\u094d\u0924\u0924\u093e \u0906\u0935\u0936\u094d\u092f\u0915 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a<\/strong>: \u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092e\u0947\u0902 \u0909\u092a\u092f\u094b\u0917 \u0915\u0940 \u091c\u093e\u0928\u0947 \u0935\u093e\u0932\u0940 \u090f\u0915 \u092e\u094c\u0932\u093f\u0915 \u0924\u0915\u0928\u0940\u0915 \u0939\u0948\u0964 \u0907\u0938\u092e\u0947\u0902 \u092f\u0939 \u091c\u093e\u0902\u091a\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u092e\u0949\u0921\u0932 \u0915\u0947 \u0938\u092d\u0940 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u0930\u093e\u091c\u094d\u092f\u094b\u0902 \u0915\u0940 \u0935\u094d\u092f\u0935\u0938\u094d\u0925\u093f\u0924 \u0930\u0942\u092a \u0938\u0947 \u0916\u094b\u091c \u0915\u0930\u0928\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948 \u0915\u093f \u0915\u094d\u092f\u093e \u0915\u094b\u0908 \u0930\u093e\u091c\u094d\u092f \u0928\u093f\u0930\u094d\u0926\u093f\u0937\u094d\u091f \u0917\u0941\u0923\u094b\u0902 \u0915\u093e \u0909\u0932\u094d\u0932\u0902\u0918\u0928 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u093e<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u0932\u093f\u090f \u090f\u0915 \u0905\u0928\u094d\u092f \u0926\u0943\u0937\u094d\u091f\u093f\u0915\u094b\u0923 \u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u093e \u0939\u0948, \u091c\u093f\u0938\u092e\u0947\u0902 \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0924\u0930\u094d\u0915 \u0914\u0930 \u0917\u0923\u093f\u0924\u0940\u092f \u092a\u094d\u0930\u092e\u093e\u0923\u094b\u0902 \u0915\u094b \u0932\u093e\u0917\u0942 \u0915\u0930\u0915\u0947 \u0915\u093f\u0938\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0928\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u0924\u093f\u0909\u0926\u093e\u0939\u0930\u0923 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923<\/strong>: \u092f\u0926\u093f \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0915\u0947 \u0909\u0932\u094d\u0932\u0902\u0918\u0928 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0924\u0940 \u0939\u0948, \u0924\u094b \u092a\u094d\u0930\u0924\u093f-\u0909\u0926\u093e\u0939\u0930\u0923 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u092e\u0942\u0932 \u0915\u093e\u0930\u0923 \u0915\u0940 \u092a\u0939\u091a\u093e\u0928 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u092e\u0926\u0926 \u0915\u0930\u0924\u093e \u0939\u0948 \u0914\u0930 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u0938\u0941\u0927\u093e\u0930\u094b\u0902 \u0915\u0947 \u092c\u093e\u0930\u0947 \u092e\u0947\u0902 \u091c\u093e\u0928\u0915\u093e\u0930\u0940 \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0940 \u092a\u094d\u0930\u092e\u0941\u0916 \u0935\u093f\u0936\u0947\u0937\u0924\u093e\u0913\u0902 \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0908 \u092a\u094d\u0930\u092e\u0941\u0916 \u0935\u093f\u0936\u0947\u0937\u0924\u093e\u090f\u0902 \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u093e \u0939\u0948 \u091c\u094b \u0907\u0938\u0947 \u0905\u0928\u094d\u092f \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0935\u093f\u0927\u093f\u092f\u094b\u0902 \u0938\u0947 \u0905\u0932\u0917 \u0915\u0930\u0924\u0940 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0938\u0902\u092a\u0942\u0930\u094d\u0923\u0924\u093e<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0938\u092d\u0940 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u0938\u093f\u0938\u094d\u091f\u092e \u0938\u094d\u0925\u093f\u0924\u093f\u092f\u094b\u0902 \u0915\u093e \u092a\u0942\u0930\u094d\u0923 \u0914\u0930 \u0935\u093f\u0938\u094d\u0924\u0943\u0924 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u093e \u0939\u0948, \u092f\u0939 \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0924\u0947 \u0939\u0941\u090f \u0915\u093f \u0915\u094b\u0908 \u092d\u0940 \u0915\u094b\u0928\u0947 \u0915\u093e \u092e\u093e\u092e\u0932\u093e \u0905\u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0928\u0939\u0940\u0902 \u091b\u094b\u0921\u093c\u093e \u0917\u092f\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0936\u0941\u0926\u094d\u0927\u0924\u093e<\/strong>: \u0917\u0923\u093f\u0924\u0940\u092f \u0924\u0930\u094d\u0915 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0938\u093f\u0938\u094d\u091f\u092e \u0917\u0941\u0923\u094b\u0902 \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u0909\u091a\u094d\u091a \u0938\u094d\u0924\u0930 \u0915\u0940 \u0938\u091f\u0940\u0915\u0924\u093e \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u0947 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923 \u092a\u094d\u0930\u0938\u094d\u0924\u0941\u0924 \u0915\u0930\u0924\u093e \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u091c\u091f\u093f\u0932 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u094b \u0909\u091a\u094d\u091a \u0938\u094d\u0924\u0930 \u0915\u0947 \u0935\u093f\u0936\u094d\u0935\u093e\u0938 \u0915\u0947 \u0938\u093e\u0925 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u093e \u0938\u0902\u092d\u0935 \u0939\u094b \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092c\u0917 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0928\u093e<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0938\u0942\u0915\u094d\u0937\u094d\u092e \u092c\u0917 \u0914\u0930 \u0915\u092e\u091c\u094b\u0930\u093f\u092f\u094b\u0902 \u0915\u094b \u0909\u091c\u093e\u0917\u0930 \u0915\u0930 \u0938\u0915\u0924\u093e \u0939\u0948 \u091c\u094b \u0905\u0915\u0947\u0932\u0947 \u092a\u0930\u0940\u0915\u094d\u0937\u0923 \u0915\u0947 \u092e\u093e\u0927\u094d\u092f\u092e \u0938\u0947 \u0938\u094d\u092a\u0937\u094d\u091f \u0928\u0939\u0940\u0902 \u0939\u094b \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u0941\u0928\u0930\u093e\u0935\u0943\u0924\u094d\u0924\u093f<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u0930\u093f\u0923\u093e\u092e \u0926\u094b\u0939\u0930\u093e\u090f \u091c\u093e\u0928\u0947 \u092f\u094b\u0917\u094d\u092f, \u0938\u0941\u0938\u0902\u0917\u0924 \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928\u0915\u0930\u094d\u0924\u093e \u0938\u0947 \u0938\u094d\u0935\u0924\u0902\u0924\u094d\u0930 \u0939\u094b\u0924\u0947 \u0939\u0948\u0902, \u091c\u093f\u0938\u0938\u0947 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u093e \u0906\u0938\u093e\u0928 \u0939\u094b \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0932\u093f\u0916\u0947\u0902 \u0915\u093f \u0915\u093f\u0938 \u092a\u094d\u0930\u0915\u093e\u0930 \u0915\u0947 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092e\u094c\u091c\u0942\u0926 \u0939\u0948\u0902\u0964 \u0932\u093f\u0916\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0924\u093e\u0932\u093f\u0915\u093e\u0913\u0902 \u0914\u0930 \u0938\u0942\u091a\u093f\u092f\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0947\u0902\u0964<\/h2>\n<p>\u0915\u0908 \u092a\u094d\u0930\u0915\u093e\u0930 \u0915\u0940 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0924\u0915\u0928\u0940\u0915\u0947\u0902 \u0939\u0948\u0902, \u091c\u093f\u0928\u092e\u0947\u0902 \u0938\u0947 \u092a\u094d\u0930\u0924\u094d\u092f\u0947\u0915 \u0915\u0940 \u0905\u092a\u0928\u0940 \u0924\u093e\u0915\u0924 \u0914\u0930 \u0938\u0940\u092e\u093e\u090f\u0902 \u0939\u0948\u0902\u0964 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u0915\u0941\u091b \u0938\u093e\u092e\u093e\u0928\u094d\u092f \u092a\u094d\u0930\u0915\u093e\u0930\u094b\u0902 \u092e\u0947\u0902 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a<\/strong>: \u092f\u0939 \u0924\u0915\u0928\u0940\u0915 \u092f\u0939 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u092a\u0930\u093f\u092e\u093f\u0924-\u0905\u0935\u0938\u094d\u0925\u093e \u092e\u0949\u0921\u0932 \u0915\u0940 \u0938\u092d\u0940 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u0938\u094d\u0925\u093f\u0924\u093f\u092f\u094b\u0902 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0924\u0940 \u0939\u0948 \u0915\u093f \u0915\u094d\u092f\u093e \u0915\u094b\u0908 \u0926\u0940 \u0917\u0908 \u0938\u0902\u092a\u0924\u094d\u0924\u093f \u092a\u0942\u0930\u0947 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0932\u093f\u090f \u092e\u093e\u0928\u094d\u092f \u0939\u0948\u0964 \u092f\u0939 \u0930\u093e\u091c\u094d\u092f\u094b\u0902 \u0915\u0940 \u0938\u0940\u092e\u093f\u0924 \u0938\u0902\u0916\u094d\u092f\u093e \u0935\u093e\u0932\u0947 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0932\u093f\u090f \u0909\u092a\u092f\u0941\u0915\u094d\u0924 \u0939\u0948 \u0932\u0947\u0915\u093f\u0928 \u092c\u0921\u093c\u0947 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0932\u093f\u090f \u0915\u092e\u094d\u092a\u094d\u092f\u0942\u091f\u0947\u0936\u0928\u0932 \u0930\u0942\u092a \u0938\u0947 \u092e\u0939\u0902\u0917\u093e \u0939\u094b \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u093e<\/strong>: \u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u093e \u0915\u093f\u0938\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u0915\u0940 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u0909\u0938\u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u094b \u092a\u094d\u0930\u0926\u0930\u094d\u0936\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0917\u0923\u093f\u0924\u0940\u092f \u0924\u0930\u094d\u0915 \u0914\u0930 \u092a\u094d\u0930\u092e\u093e\u0923 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u092a\u0930 \u0928\u093f\u0930\u094d\u092d\u0930 \u0915\u0930\u0924\u093e \u0939\u0948\u0964 \u092f\u0939 \u091c\u091f\u093f\u0932 \u0917\u0941\u0923\u094b\u0902 \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u092a\u094d\u0930\u092d\u093e\u0935\u0940 \u0939\u0948 \u0932\u0947\u0915\u093f\u0928 \u0936\u094d\u0930\u092e-\u0917\u0939\u0928 \u0939\u094b \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u093e\u0930 \u0935\u094d\u092f\u093e\u0916\u094d\u092f\u093e<\/strong>: \u0938\u093e\u0930 \u0935\u094d\u092f\u093e\u0916\u094d\u092f\u093e \u0915\u093f\u0938\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u0915\u0940 \u0905\u0935\u0938\u094d\u0925\u093e\u0913\u0902 \u0914\u0930 \u0917\u0941\u0923\u094b\u0902 \u0915\u093e \u0938\u093e\u0930 \u0928\u093f\u0915\u093e\u0932\u0915\u0930 \u0909\u0938\u0915\u0947 \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u093e \u0905\u0928\u0941\u092e\u093e\u0928 \u0932\u0917\u093e\u0924\u0940 \u0939\u0948\u0964 \u092f\u0939 \u092c\u0921\u093c\u0947 \u092a\u0948\u092e\u093e\u0928\u0947 \u0915\u0947 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0935\u093f\u0936\u0947\u0937 \u0930\u0942\u092a \u0938\u0947 \u0909\u092a\u092f\u094b\u0917\u0940 \u0939\u0948 \u0914\u0930 \u0907\u0938\u0947 \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u092a\u0930 \u0932\u093e\u0917\u0942 \u0915\u093f\u092f\u093e \u0917\u092f\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u092e\u0924\u0941\u0932\u094d\u092f\u0924\u093e \u091c\u093e\u0901\u091a<\/strong>: \u0938\u092e\u0924\u0941\u0932\u094d\u092f\u0924\u093e \u091c\u093e\u0901\u091a \u092f\u0939 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0924\u0940 \u0939\u0948 \u0915\u093f \u0938\u093f\u0938\u094d\u091f\u092e \u092f\u093e \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0915\u0947 \u0926\u094b \u0938\u0902\u0938\u094d\u0915\u0930\u0923 \u0915\u093e\u0930\u094d\u092f\u093e\u0924\u094d\u092e\u0915 \u0930\u0942\u092a \u0938\u0947 \u0938\u092e\u0924\u0941\u0932\u094d\u092f \u0939\u0948\u0902 \u092f\u093e \u0928\u0939\u0940\u0902\u0964 \u0907\u0938\u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0906\u092e\u0924\u094c\u0930 \u092a\u0930 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0914\u0930 \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0930\u093f\u0917\u094d\u0930\u0947\u0936\u0928 \u092a\u0930\u0940\u0915\u094d\u0937\u0923 \u092e\u0947\u0902 \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092c\u093e\u0909\u0902\u0921\u0947\u0921 \u092e\u0949\u0921\u0932 \u0915\u0940 \u091c\u093e\u0901\u091a<\/strong>: \u092c\u093e\u0909\u0902\u0921\u0947\u0921 \u092e\u0949\u0921\u0932 \u091a\u0947\u0915\u093f\u0902\u0917 \u0938\u093f\u0938\u094d\u091f\u092e \u0938\u094d\u0925\u093f\u0924\u093f\u092f\u094b\u0902 \u0915\u0947 \u0905\u0928\u094d\u0935\u0947\u0937\u0923 \u0915\u094b \u091a\u0930\u0923\u094b\u0902 \u0915\u0940 \u090f\u0915 \u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0938\u0902\u0916\u094d\u092f\u093e \u0924\u0915 \u0938\u0940\u092e\u093f\u0924 \u0915\u0930\u0924\u0940 \u0939\u0948\u0964 \u092f\u0939 \u090f\u0915 \u0935\u093f\u0936\u093f\u0937\u094d\u091f \u0928\u093f\u0937\u094d\u092a\u093e\u0926\u0928 \u0917\u0939\u0930\u093e\u0908 \u0915\u0947 \u092d\u0940\u0924\u0930 \u092c\u0917 \u0922\u0942\u0902\u0922\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0909\u092a\u092f\u0941\u0915\u094d\u0924 \u0939\u0948 \u0932\u0947\u0915\u093f\u0928 \u092a\u0942\u0930\u094d\u0923\u0924\u093e \u0915\u0940 \u0917\u093e\u0930\u0902\u091f\u0940 \u0928\u0939\u0940\u0902 \u0926\u0947 \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u0948\u091f\/\u090f\u0938\u090f\u092e\u091f\u0940 \u0938\u092e\u093e\u0927\u093e\u0928<\/strong>: \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0938\u0942\u0924\u094d\u0930\u094b\u0902 \u0915\u0940 \u0938\u0902\u0924\u0941\u0937\u094d\u091f\u093f \u0928\u093f\u0930\u094d\u0927\u093e\u0930\u093f\u0924 \u0915\u0930\u0928\u0947 \u0914\u0930 \u092c\u093e\u0927\u093e \u0938\u092e\u0938\u094d\u092f\u093e\u0913\u0902 \u0915\u094b \u0939\u0932 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u092e\u0947\u0902 SAT \u0914\u0930 SMT \u0938\u0949\u0932\u094d\u0935\u0930 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<p>\u092f\u0939\u093e\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0915\u0947 \u092a\u094d\u0930\u0915\u093e\u0930\u094b\u0902 \u0915\u093e \u0938\u093e\u0930\u093e\u0902\u0936 \u0926\u0947\u0928\u0947 \u0935\u093e\u0932\u0940 \u090f\u0915 \u0924\u093e\u0932\u093f\u0915\u093e \u0926\u0940 \u0917\u0908 \u0939\u0948:<\/p>\n<table>\n<thead>\n<tr>\n<th>\u092a\u094d\u0930\u0915\u093e\u0930<\/th>\n<th>\u0935\u093f\u0935\u0930\u0923<\/th>\n<th>\u0915\u0947 \u0932\u093f\u090f \u0909\u092a\u092f\u0941\u0915\u094d\u0924<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a<\/td>\n<td>\u0938\u092d\u0940 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u0930\u093e\u091c\u094d\u092f\u094b\u0902 \u0915\u093e \u0935\u093f\u0938\u094d\u0924\u0943\u0924 \u0905\u0928\u094d\u0935\u0947\u0937\u0923<\/td>\n<td>\u092a\u0930\u093f\u092e\u093f\u0924-\u0930\u093e\u091c\u094d\u092f \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u093e\u0901<\/td>\n<\/tr>\n<tr>\n<td>\u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u093e<\/td>\n<td>\u0917\u0923\u093f\u0924\u0940\u092f \u0924\u0930\u094d\u0915 \u092a\u0930 \u0906\u0927\u093e\u0930\u093f\u0924 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923<\/td>\n<td>\u091c\u091f\u093f\u0932 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u0917\u0941\u0923<\/td>\n<\/tr>\n<tr>\n<td>\u0938\u093e\u0930 \u0935\u094d\u092f\u093e\u0916\u094d\u092f\u093e<\/td>\n<td>\u0938\u093f\u0938\u094d\u091f\u092e \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u093e \u0905\u0928\u0941\u092e\u093e\u0928<\/td>\n<td>\u092c\u0921\u093c\u0947 \u092a\u0948\u092e\u093e\u0928\u0947 \u0915\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u093e\u0901<\/td>\n<\/tr>\n<tr>\n<td>\u0938\u092e\u0924\u0941\u0932\u094d\u092f\u0924\u093e \u091c\u093e\u0901\u091a<\/td>\n<td>\u0915\u093e\u0930\u094d\u092f\u093e\u0924\u094d\u092e\u0915 \u0924\u0941\u0932\u094d\u092f\u0924\u093e \u0915\u093e \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/td>\n<td>\u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0914\u0930 \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0938\u0902\u0938\u094d\u0915\u0930\u0923<\/td>\n<\/tr>\n<tr>\n<td>\u092c\u093e\u0909\u0902\u0921\u0947\u0921 \u092e\u0949\u0921\u0932 \u0915\u0940 \u091c\u093e\u0901\u091a<\/td>\n<td>\u091a\u0930\u0923\u094b\u0902 \u0915\u0940 \u090f\u0915 \u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0938\u0902\u0916\u094d\u092f\u093e \u0915\u0947 \u092d\u0940\u0924\u0930 \u0905\u0928\u094d\u0935\u0947\u0937\u0923<\/td>\n<td>\u0917\u0939\u0930\u093e\u0908 \u092e\u0947\u0902 \u092c\u0917 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0928\u093e<\/td>\n<\/tr>\n<tr>\n<td>\u0938\u0948\u091f\/\u090f\u0938\u090f\u092e\u091f\u0940 \u0938\u092e\u093e\u0927\u093e\u0928<\/td>\n<td>\u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0938\u0942\u0924\u094d\u0930\u094b\u0902 \u0915\u0940 \u0938\u0902\u0924\u0941\u0937\u094d\u091f\u093f \u0915\u093e \u0928\u093f\u0930\u094d\u0927\u093e\u0930\u0923<\/td>\n<td>\u0905\u0928\u094d\u092f \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0915\u093e \u0938\u092e\u0930\u094d\u0925\u0928<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u0909\u092a\u092f\u094b\u0917 \u0915\u0947 \u0924\u0930\u0940\u0915\u0947, \u0909\u092a\u092f\u094b\u0917 \u0938\u0947 \u0938\u0902\u092c\u0902\u0927\u093f\u0924 \u0938\u092e\u0938\u094d\u092f\u093e\u090f\u0901 \u0914\u0930 \u0909\u0928\u0915\u0947 \u0938\u092e\u093e\u0927\u093e\u0928\u0964<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0921\u093f\u091c\u093c\u093e\u0907\u0928, \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0935\u093f\u0915\u093e\u0938 \u0914\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0938\u0939\u093f\u0924 \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0921\u094b\u092e\u0947\u0928 \u092e\u0947\u0902 \u090f\u092a\u094d\u0932\u093f\u0915\u0947\u0936\u0928 \u0922\u0942\u0902\u0922\u0924\u093e \u0939\u0948\u0964 \u092f\u0939\u093e\u0902 \u0915\u0941\u091b \u0938\u093e\u092e\u093e\u0928\u094d\u092f \u0924\u0930\u0940\u0915\u0947 \u0926\u093f\u090f \u0917\u090f \u0939\u0948\u0902 \u091c\u093f\u0928\u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948:<\/p>\n<ol>\n<li>\n<p><strong>\u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u092e\u0947\u0902, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092f\u0939 \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0924\u093e \u0939\u0948 \u0915\u093f \u0921\u093f\u091c\u093f\u091f\u0932 \u0938\u0930\u094d\u0915\u093f\u091f \u0914\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u0905\u092a\u0928\u0947 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936\u094b\u0902 \u0915\u093e \u092a\u093e\u0932\u0928 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902, \u091c\u093f\u0938\u0938\u0947 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0938\u0947 \u0938\u0902\u092c\u0902\u0927\u093f\u0924 \u092c\u0917 \u0914\u0930 \u0924\u094d\u0930\u0941\u091f\u093f\u092f\u094b\u0902 \u0915\u094b \u0930\u094b\u0915\u093e \u091c\u093e \u0938\u0915\u0947\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0917\u0941\u0923\u094b\u0902 \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947, \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u092c\u0917 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0928\u0947 \u0914\u0930 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0914\u0930 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0915\u0947 \u0905\u0928\u0941\u092a\u093e\u0932\u0928 \u0915\u094b \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u092a\u0930 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0932\u093e\u0917\u0942 \u0915\u093f\u090f \u091c\u093e\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u094b\u091f\u094b\u0915\u0949\u0932 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0938\u0902\u091a\u093e\u0930 \u092a\u094d\u0930\u094b\u091f\u094b\u0915\u0949\u0932 \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u0915\u0930\u0928\u0947, \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f \u0914\u0930 \u0938\u0941\u0930\u0915\u094d\u0937\u093f\u0924 \u0921\u0947\u091f\u093e \u0935\u093f\u0928\u093f\u092e\u092f \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0911\u091f\u094b\u092e\u094b\u091f\u093f\u0935 \u0914\u0930 \u090f\u092f\u0930\u094b\u0938\u094d\u092a\u0947\u0938<\/strong>: \u0911\u091f\u094b\u092e\u094b\u091f\u093f\u0935 \u0914\u0930 \u090f\u092f\u0930\u094b\u0938\u094d\u092a\u0947\u0938 \u0909\u0926\u094d\u092f\u094b\u0917\u094b\u0902 \u092e\u0947\u0902 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u094b \u0909\u0926\u094d\u092f\u094b\u0917 \u092e\u093e\u0928\u0915\u094b\u0902 \u0915\u0947 \u0938\u093e\u0925 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0914\u0930 \u0905\u0928\u0941\u092a\u093e\u0932\u0928 \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0938\u0947 \u0917\u0941\u091c\u0930\u0928\u093e \u092a\u0921\u093c\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0915\u094d\u0930\u093f\u092a\u094d\u091f\u094b\u0917\u094d\u0930\u093e\u092b\u093c\u093f\u0915 \u0938\u093f\u0938\u094d\u091f\u092e<\/strong>: \u0915\u094d\u0930\u093f\u092a\u094d\u091f\u094b\u0917\u094d\u0930\u093e\u092b\u093c\u093f\u0915 \u092a\u094d\u0930\u094b\u091f\u094b\u0915\u0949\u0932 \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u0915\u0930\u0928\u0947 \u0914\u0930 \u0939\u092e\u0932\u094b\u0902 \u0915\u0947 \u092a\u094d\u0930\u0924\u093f \u0909\u0928\u0915\u0947 \u092a\u094d\u0930\u0924\u093f\u0930\u094b\u0927 \u0915\u094b \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u094b \u0928\u093f\u092f\u094b\u091c\u093f\u0924 \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0915\u092e\u091c\u094b\u0930\u093f\u092f\u094b\u0902 \u0915\u0940 \u092a\u0939\u091a\u093e\u0928 \u0915\u0930\u0928\u0947 \u0914\u0930 \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0914\u0930 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u092e\u0947\u0902 \u0936\u094b\u0937\u0923 \u092f\u094b\u0917\u094d\u092f \u0915\u092e\u091c\u094b\u0930\u093f\u092f\u094b\u0902 \u0915\u0940 \u0905\u0928\u0941\u092a\u0938\u094d\u0925\u093f\u0924\u093f \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<p>\u0939\u093e\u0932\u093e\u0901\u0915\u093f, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0941\u091b \u091a\u0941\u0928\u094c\u0924\u093f\u092f\u094b\u0902 \u0915\u0947 \u0938\u093e\u0925 \u092d\u0940 \u0906\u0924\u093e \u0939\u0948:<\/p>\n<ol>\n<li>\n<p><strong>\u091c\u091f\u093f\u0932\u0924\u093e<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u091c\u091f\u093f\u0932 \u0914\u0930 \u0938\u092e\u092f \u0932\u0947\u0928\u0947 \u0935\u093e\u0932\u093e \u0939\u094b \u0938\u0915\u0924\u093e \u0939\u0948, \u0916\u093e\u0938\u0915\u0930 \u092c\u0921\u093c\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0930\u093e\u091c\u094d\u092f \u0905\u0902\u0924\u0930\u093f\u0915\u094d\u0937 \u0935\u093f\u0938\u094d\u092b\u094b\u091f<\/strong>: \u0915\u093f\u0938\u0940 \u0938\u093f\u0938\u094d\u091f\u092e \u092e\u0947\u0902 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u0930\u093e\u091c\u094d\u092f\u094b\u0902 \u0915\u0940 \u0938\u0902\u0916\u094d\u092f\u093e \u0924\u0947\u091c\u0940 \u0938\u0947 \u092c\u0922\u093c \u0938\u0915\u0924\u0940 \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0930\u093e\u091c\u094d\u092f \u0905\u0902\u0924\u0930\u093f\u0915\u094d\u0937 \u0935\u093f\u0938\u094d\u092b\u094b\u091f \u0939\u094b \u0938\u0915\u0924\u093e \u0939\u0948 \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0938\u092e\u092f \u092c\u0922\u093c \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e \u0924\u094d\u0930\u0941\u091f\u093f\u092f\u093e\u0901<\/strong>: \u092f\u0926\u093f \u092a\u094d\u0930\u093e\u0930\u0902\u092d\u093f\u0915 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936 \u0917\u0932\u0924 \u092f\u093e \u0905\u092a\u0942\u0930\u094d\u0923 \u0939\u0948\u0902, \u0924\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0917\u0932\u0924 \u092a\u0930\u093f\u0923\u093e\u092e \u0926\u0947 \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923 \u0915\u0920\u093f\u0928\u093e\u0908<\/strong>: \u091c\u091f\u093f\u0932 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923 \u092c\u0928\u093e\u0928\u093e \u091a\u0941\u0928\u094c\u0924\u0940\u092a\u0942\u0930\u094d\u0923 \u0939\u094b \u0938\u0915\u0924\u093e \u0939\u0948 \u0914\u0930 \u0907\u0938\u0915\u0947 \u0932\u093f\u090f \u0915\u0941\u0936\u0932 \u0935\u093f\u0936\u0947\u0937\u091c\u094d\u091e\u094b\u0902 \u0915\u0940 \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e \u0939\u094b\u0924\u0940 \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<p>\u0907\u0928 \u091a\u0941\u0928\u094c\u0924\u093f\u092f\u094b\u0902 \u0915\u093e \u0938\u092e\u093e\u0927\u093e\u0928 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f, \u0915\u0941\u091b \u0938\u092e\u093e\u0927\u093e\u0928\u094b\u0902 \u092e\u0947\u0902 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0905\u092e\u0942\u0930\u094d\u0924 \u0924\u0915\u0928\u0940\u0915<\/strong>: \u0905\u092e\u0942\u0930\u094d\u0924\u0928 \u0938\u093f\u0938\u094d\u091f\u092e \u092e\u0949\u0921\u0932 \u0915\u0940 \u091c\u091f\u093f\u0932\u0924\u093e \u0915\u094b \u0915\u092e \u0915\u0930\u0924\u093e \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0905\u0927\u093f\u0915 \u092a\u094d\u0930\u092c\u0902\u0927\u0928\u0940\u092f \u0939\u094b \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092e\u0949\u0921\u094d\u092f\u0942\u0932\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u094b \u091b\u094b\u091f\u0947 \u092e\u0949\u0921\u094d\u092f\u0942\u0932 \u092e\u0947\u0902 \u0924\u094b\u0921\u093c\u0915\u0930 \u0909\u0928\u094d\u0939\u0947\u0902 \u0938\u094d\u0935\u0924\u0902\u0924\u094d\u0930 \u0930\u0942\u092a \u0938\u0947 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0938\u0947 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u091c\u091f\u093f\u0932\u0924\u093e \u0915\u092e \u0939\u094b \u0938\u0915\u0924\u0940 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u0902\u092a\u0924\u094d\u0924\u093f-\u0928\u093f\u0930\u094d\u0926\u0947\u0936\u093f\u0924 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u0930\u0941\u091a\u093f \u0915\u0940 \u0935\u093f\u0936\u093f\u0937\u094d\u091f \u0938\u0902\u092a\u0924\u094d\u0924\u093f\u092f\u094b\u0902 \u092a\u0930 \u0927\u094d\u092f\u093e\u0928 \u0915\u0947\u0902\u0926\u094d\u0930\u093f\u0924 \u0915\u0930\u0928\u0947 \u0938\u0947 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e \u0926\u093e\u092f\u0930\u093e \u0915\u092e \u0939\u094b \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0909\u092a\u0915\u0930\u0923 \u0938\u0941\u0927\u093e\u0930<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0909\u092a\u0915\u0930\u0923 \u0914\u0930 \u090f\u0932\u094d\u0917\u094b\u0930\u093f\u0926\u092e \u092e\u0947\u0902 \u092a\u094d\u0930\u0917\u0924\u093f \u0926\u0915\u094d\u0937\u0924\u093e \u0914\u0930 \u0938\u094d\u0915\u0947\u0932\u0947\u092c\u093f\u0932\u093f\u091f\u0940 \u092e\u0947\u0902 \u0938\u0941\u0927\u093e\u0930 \u0915\u0930 \u0938\u0915\u0924\u0940 \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0924\u093e\u0932\u093f\u0915\u093e\u0913\u0902 \u0914\u0930 \u0938\u0942\u091a\u093f\u092f\u094b\u0902 \u0915\u0947 \u0930\u0942\u092a \u092e\u0947\u0902 \u0938\u092e\u093e\u0928 \u0936\u092c\u094d\u0926\u094b\u0902 \u0915\u0947 \u0938\u093e\u0925 \u092e\u0941\u0916\u094d\u092f \u0935\u093f\u0936\u0947\u0937\u0924\u093e\u090f\u0901 \u0914\u0930 \u0905\u0928\u094d\u092f \u0924\u0941\u0932\u0928\u093e\u090f\u0901\u0964<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0905\u0928\u094d\u092f \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0914\u0930 \u092a\u0930\u0940\u0915\u094d\u0937\u0923 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0938\u0947 \u0928\u093f\u0915\u091f\u0924\u093e \u0938\u0947 \u0938\u0902\u092c\u0902\u0927\u093f\u0924 \u0939\u0948, \u0932\u0947\u0915\u093f\u0928 \u092f\u0939 \u0935\u093f\u0936\u093f\u0937\u094d\u091f \u0935\u093f\u0936\u0947\u0937\u0924\u093e\u090f\u0902 \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u093e \u0939\u0948 \u091c\u094b \u0907\u0938\u0947 \u0905\u0932\u0917 \u0915\u0930\u0924\u0940 \u0939\u0948\u0902\u0964 \u0906\u0907\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0940 \u0924\u0941\u0932\u0928\u093e \u0938\u092e\u093e\u0928 \u0936\u0930\u094d\u0924\u094b\u0902 \u0938\u0947 \u0915\u0930\u0947\u0902:<\/p>\n<ol>\n<li><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092c\u0928\u093e\u092e \u092a\u0930\u0940\u0915\u094d\u0937\u0923<\/strong>:<\/li>\n<\/ol>\n<table>\n<thead>\n<tr>\n<th>\u092a\u0939\u0932\u0942<\/th>\n<th>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/th>\n<th>\u092a\u0930\u093f\u0915\u094d\u0937\u0923<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u0915\u0940 \u092a\u094d\u0930\u0915\u0943\u0924\u093f<\/td>\n<td>\u0917\u0923\u093f\u0924\u0940\u092f \u0914\u0930 \u0928\u093f\u0917\u092e\u0928\u093e\u0924\u094d\u092e\u0915 \u0924\u0930\u094d\u0915<\/td>\n<td>\u0905\u0928\u0941\u092d\u0935\u091c\u0928\u094d\u092f \u0914\u0930 \u0905\u0935\u0932\u094b\u0915\u0928-\u0906\u0927\u093e\u0930\u093f\u0924<\/td>\n<\/tr>\n<tr>\n<td>\u0938\u0902\u092a\u0942\u0930\u094d\u0923\u0924\u093e<\/td>\n<td>\u0938\u0902\u092a\u0942\u0930\u094d\u0923 \u0914\u0930 \u0935\u094d\u092f\u093e\u092a\u0915 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923<\/td>\n<td>\u0906\u0902\u0936\u093f\u0915 \u0915\u0935\u0930\u0947\u091c<\/td>\n<\/tr>\n<tr>\n<td>\u092c\u0917 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0928\u093e<\/td>\n<td>\u0938\u092d\u0940 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u092c\u0917 \u0914\u0930 \u0924\u094d\u0930\u0941\u091f\u093f\u092f\u093e\u0901 \u0922\u0942\u0901\u0922\u0924\u093e \u0939\u0948<\/td>\n<td>\u0905\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u092c\u0917 \u0916\u094b\u091c<\/td>\n<\/tr>\n<tr>\n<td>\u092a\u0930\u093f\u0923\u093e\u092e\u094b\u0902 \u092e\u0947\u0902 \u0935\u093f\u0936\u094d\u0935\u093e\u0938<\/td>\n<td>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923\u094b\u0902 \u0915\u0947 \u0938\u093e\u0925 \u0909\u091a\u094d\u091a \u0906\u0924\u094d\u092e\u0935\u093f\u0936\u094d\u0935\u093e\u0938<\/td>\n<td>\u0906\u0924\u094d\u092e\u0935\u093f\u0936\u094d\u0935\u093e\u0938 \u092a\u0930\u0940\u0915\u094d\u0937\u0923 \u0915\u0935\u0930\u0947\u091c \u092a\u0930 \u0928\u093f\u0930\u094d\u092d\u0930 \u0915\u0930\u0924\u093e \u0939\u0948<\/td>\n<\/tr>\n<tr>\n<td>\u0906\u0935\u0947\u0926\u0928<\/td>\n<td>\u0938\u0941\u0930\u0915\u094d\u0937\u093e-\u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u0909\u092a\u092f\u0941\u0915\u094d\u0924<\/td>\n<td>\u0915\u093e\u0930\u094d\u092f\u0915\u094d\u0937\u092e\u0924\u093e \u0915\u0947 \u0932\u093f\u090f \u0938\u093e\u092e\u093e\u0928\u094d\u092f \u092a\u094d\u0930\u092f\u094b\u091c\u0928 \u092a\u0930\u0940\u0915\u094d\u0937\u0923<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<ol start=\"2\">\n<li><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092c\u0928\u093e\u092e \u0938\u093f\u092e\u0941\u0932\u0947\u0936\u0928<\/strong>:<\/li>\n<\/ol>\n<table>\n<thead>\n<tr>\n<th>\u092a\u0939\u0932\u0942<\/th>\n<th>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/th>\n<th>\u0938\u093f\u092e\u0941\u0932\u0947\u0936\u0928<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e \u0926\u093e\u092f\u0930\u093e<\/td>\n<td>\u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0924\u093e \u0939\u0948 \u0915\u093f \u0917\u0941\u0923 \u0938\u092d\u0940 \u0928\u093f\u0937\u094d\u092a\u093e\u0926\u0928\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u092e\u093e\u0928\u094d\u092f \u0939\u0948\u0902<\/td>\n<td>\u0935\u093f\u0936\u093f\u0937\u094d\u091f \u092a\u0930\u0940\u0915\u094d\u0937\u0923 \u092a\u0930\u093f\u0926\u0943\u0936\u094d\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u092a\u0930\u093f\u0923\u093e\u092e \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u093e \u0939\u0948<\/td>\n<\/tr>\n<tr>\n<td>\u0925\u0915\u093e\u0935\u091f<\/td>\n<td>\u0938\u092d\u0940 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u0938\u094d\u0925\u093f\u0924\u093f\u092f\u094b\u0902 \u0915\u093e \u0938\u0902\u092a\u0942\u0930\u094d\u0923 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923<\/td>\n<td>\u0938\u0940\u092e\u093f\u0924 \u0915\u0935\u0930\u0947\u091c<\/td>\n<\/tr>\n<tr>\n<td>\u092c\u0917 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0928\u093e<\/td>\n<td>\u0938\u092d\u0940 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u092c\u0917 \u0914\u0930 \u0924\u094d\u0930\u0941\u091f\u093f\u092f\u093e\u0901 \u0922\u0942\u0901\u0922\u0924\u093e \u0939\u0948<\/td>\n<td>\u0938\u092d\u0940 \u092e\u0941\u0926\u094d\u0926\u094b\u0902 \u0915\u093e \u092a\u0924\u093e \u0928\u0939\u0940\u0902 \u091a\u0932 \u0938\u0915\u093e<\/td>\n<\/tr>\n<tr>\n<td>\u0917\u0923\u093f\u0924\u0940\u092f \u092a\u094d\u0930\u092e\u093e\u0923<\/td>\n<td>\u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u093e \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923 \u092a\u094d\u0930\u0938\u094d\u0924\u0941\u0924 \u0915\u0930\u0924\u093e \u0939\u0948<\/td>\n<td>\u0915\u094b\u0908 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923 \u0928\u0939\u0940\u0902<\/td>\n<\/tr>\n<tr>\n<td>\u0938\u092e\u092f \u0915\u0940 \u091c\u091f\u093f\u0932\u0924\u093e<\/td>\n<td>\u0915\u092e\u094d\u092a\u094d\u092f\u0942\u091f\u0947\u0936\u0928\u0932 \u0930\u0942\u092a \u0938\u0947 \u092e\u0939\u0902\u0917\u093e \u0939\u094b \u0938\u0915\u0924\u093e \u0939\u0948<\/td>\n<td>\u0935\u094d\u092f\u0915\u094d\u0924\u093f\u0917\u0924 \u092a\u0930\u093f\u0926\u0943\u0936\u094d\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u0906\u092e \u0924\u094c\u0930 \u092a\u0930 \u0924\u0947\u091c\u093c<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0938\u0947 \u0938\u0902\u092c\u0902\u0927\u093f\u0924 \u092d\u0935\u093f\u0937\u094d\u092f \u0915\u0947 \u092a\u0930\u093f\u092a\u094d\u0930\u0947\u0915\u094d\u0937\u094d\u092f \u0914\u0930 \u092a\u094d\u0930\u094c\u0926\u094d\u092f\u094b\u0917\u093f\u0915\u093f\u092f\u093e\u0901\u0964<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e \u092d\u0935\u093f\u0937\u094d\u092f \u0906\u0936\u093e\u091c\u0928\u0915 \u0932\u0917 \u0930\u0939\u093e \u0939\u0948 \u0915\u094d\u092f\u094b\u0902\u0915\u093f \u092a\u094d\u0930\u094c\u0926\u094d\u092f\u094b\u0917\u093f\u0915\u0940 \u0914\u0930 \u0905\u0928\u0941\u0938\u0902\u0927\u093e\u0928 \u092e\u0947\u0902 \u092a\u094d\u0930\u0917\u0924\u093f \u0907\u0938\u0915\u0940 \u091a\u0941\u0928\u094c\u0924\u093f\u092f\u094b\u0902 \u0914\u0930 \u0938\u0940\u092e\u093e\u0913\u0902 \u0915\u094b \u0938\u0902\u092c\u094b\u0927\u093f\u0924 \u0915\u0930\u0928\u093e \u091c\u093e\u0930\u0940 \u0930\u0916\u0947 \u0939\u0941\u090f \u0939\u0948\u0964 \u092f\u0939\u093e\u0902 \u0915\u0941\u091b \u0926\u0943\u0937\u094d\u091f\u093f\u0915\u094b\u0923 \u0914\u0930 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u092d\u0935\u093f\u0937\u094d\u092f \u0915\u0947 \u0935\u093f\u0915\u093e\u0938 \u0926\u093f\u090f \u0917\u090f \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0938\u094d\u0935\u091a\u093e\u0932\u0928 \u0914\u0930 \u0909\u092a\u0915\u0930\u0923 \u0938\u0941\u0927\u093e\u0930<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0909\u092a\u0915\u0930\u0923 \u0905\u0927\u093f\u0915 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0914\u0930 \u0909\u092a\u092f\u094b\u0917\u0915\u0930\u094d\u0924\u093e-\u0905\u0928\u0941\u0915\u0942\u0932 \u092c\u0928\u0928\u0947 \u0915\u0940 \u0938\u0902\u092d\u093e\u0935\u0928\u093e \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0915\u092e \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0935\u093f\u0936\u0947\u0937\u091c\u094d\u091e\u0924\u093e \u0935\u093e\u0932\u0947 \u0907\u0902\u091c\u0940\u0928\u093f\u092f\u0930 \u0909\u0928\u094d\u0939\u0947\u0902 \u092a\u094d\u0930\u092d\u093e\u0935\u0940 \u0922\u0902\u0917 \u0938\u0947 \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u0938\u0915\u094d\u0937\u092e \u0939\u094b\u0902\u0917\u0947\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u094d\u0915\u0947\u0932\u0947\u092c\u093f\u0932\u093f\u091f\u0940 \u0914\u0930 \u092a\u094d\u0930\u0926\u0930\u094d\u0936\u0928<\/strong>\u0905\u0928\u0941\u0938\u0902\u0927\u093e\u0928 \u092a\u094d\u0930\u092f\u093e\u0938 \u0909\u0928 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0915\u094b \u0935\u093f\u0915\u0938\u093f\u0924 \u0915\u0930\u0928\u0947 \u092a\u0930 \u0927\u094d\u092f\u093e\u0928 \u0915\u0947\u0902\u0926\u094d\u0930\u093f\u0924 \u0915\u0930\u0947\u0902\u0917\u0947 \u091c\u094b \u0930\u093e\u091c\u094d\u092f \u0905\u0902\u0924\u0930\u093f\u0915\u094d\u0937 \u0935\u093f\u0938\u094d\u092b\u094b\u091f \u0915\u0940 \u0938\u092e\u0938\u094d\u092f\u093e \u0915\u094b \u0938\u0902\u092d\u093e\u0932 \u0938\u0915\u0947\u0902, \u091c\u093f\u0938\u0938\u0947 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092c\u0921\u093c\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u0905\u0927\u093f\u0915 \u092e\u093e\u092a\u0928\u0940\u092f \u0914\u0930 \u0915\u0941\u0936\u0932 \u092c\u0928 \u0938\u0915\u0947\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0935\u093f\u0915\u093e\u0938 \u0915\u093e\u0930\u094d\u092f\u092a\u094d\u0930\u0935\u093e\u0939 \u0915\u0947 \u0938\u093e\u0925 \u090f\u0915\u0940\u0915\u0930\u0923<\/strong>: \u0909\u092e\u094d\u092e\u0940\u0926 \u0939\u0948 \u0915\u093f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u094b \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0914\u0930 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0935\u093f\u0915\u093e\u0938 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e\u0913\u0902 \u092e\u0947\u0902 \u0928\u093f\u0930\u094d\u092c\u093e\u0927 \u0930\u0942\u092a \u0938\u0947 \u090f\u0915\u0940\u0915\u0943\u0924 \u0915\u093f\u092f\u093e \u091c\u093e\u090f\u0917\u093e, \u091c\u093f\u0938\u0938\u0947 \u0928\u093f\u0930\u0902\u0924\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0940 \u0905\u0928\u0941\u092e\u0924\u093f \u092e\u093f\u0932\u0947\u0917\u0940\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0906\u0930\u094d\u091f\u093f\u092b\u093f\u0936\u093f\u092f\u0932 \u0907\u0902\u091f\u0947\u0932\u093f\u091c\u0947\u0902\u0938 \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947<\/strong>: \u091c\u0948\u0938\u0947-\u091c\u0948\u0938\u0947 \u090f\u0906\u0908 \u0938\u093f\u0938\u094d\u091f\u092e \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0905\u0928\u0941\u092a\u094d\u0930\u092f\u094b\u0917\u094b\u0902 \u092e\u0947\u0902 \u0905\u0927\u093f\u0915 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u0939\u094b \u091c\u093e\u0924\u0947 \u0939\u0948\u0902, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u090f\u0906\u0908 \u090f\u0932\u094d\u0917\u094b\u0930\u093f\u0926\u092e \u0914\u0930 \u092e\u0949\u0921\u0932 \u0915\u0940 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0914\u0930 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092d\u0942\u092e\u093f\u0915\u093e \u0928\u093f\u092d\u093e\u090f\u0917\u093e\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0939\u093e\u0907\u092c\u094d\u0930\u093f\u0921 \u0926\u0943\u0937\u094d\u091f\u093f\u0915\u094b\u0923<\/strong>: \u0936\u094b\u0927\u0915\u0930\u094d\u0924\u093e \u0905\u092a\u0928\u0940 \u0938\u0902\u092c\u0902\u0927\u093f\u0924 \u0936\u0915\u094d\u0924\u093f\u092f\u094b\u0902 \u0915\u093e \u0932\u093e\u092d \u0909\u0920\u093e\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u092a\u0930\u0940\u0915\u094d\u0937\u0923 \u0914\u0930 \u0938\u094d\u0925\u0948\u0924\u093f\u0915 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u091c\u0948\u0938\u0940 \u0905\u0928\u094d\u092f \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0915\u0947 \u0938\u093e\u0925 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u0938\u0902\u092f\u094b\u091c\u0928 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u090f\u0902\u0917\u0947\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0948\u0938\u0947 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948 \u092f\u093e \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u0938\u093e\u0925 \u0915\u0948\u0938\u0947 \u0938\u0902\u092c\u0926\u094d\u0927 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/h2>\n<p>\u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0909\u092a\u0915\u0930\u0923 \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u093f\u090f \u091c\u093e \u0930\u0939\u0947 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u092c\u0940\u091a \u092e\u0927\u094d\u092f\u0938\u094d\u0925 \u0915\u0947 \u0930\u0942\u092a \u092e\u0947\u0902 \u0915\u093e\u0930\u094d\u092f \u0915\u0930\u0915\u0947 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092e\u0947\u0902 \u092d\u0942\u092e\u093f\u0915\u093e \u0928\u093f\u092d\u093e \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964 \u092f\u0939\u093e\u0902 \u092c\u0924\u093e\u092f\u093e \u0917\u092f\u093e \u0939\u0948 \u0915\u093f \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0948\u0938\u0947 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948 \u092f\u093e \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u0938\u093e\u0925 \u0915\u0948\u0938\u0947 \u091c\u094b\u0921\u093c\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948:<\/p>\n<ol>\n<li>\n<p><strong>\u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0914\u0930 \u0917\u094b\u092a\u0928\u0940\u092f\u0924\u093e<\/strong>: \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u0915\u0940 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0914\u0930 \u0917\u094b\u092a\u0928\u0940\u092f\u0924\u093e \u092c\u0922\u093c\u093e\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964 \u092e\u0927\u094d\u092f \u092a\u0930\u0924 \u0915\u0947 \u0930\u0942\u092a \u092e\u0947\u0902 \u0915\u093e\u0930\u094d\u092f \u0915\u0930\u0915\u0947, \u0935\u0947 \u0938\u0902\u0935\u0947\u0926\u0928\u0936\u0940\u0932 \u0921\u0947\u091f\u093e \u0915\u0940 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902 \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0938\u093f\u0938\u094d\u091f\u092e \u0924\u0915 \u0938\u0940\u0927\u0940 \u092a\u0939\u0941\u0902\u091a \u0915\u094b \u0930\u094b\u0915 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0935\u093f\u0924\u0930\u093f\u0924 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u092c\u0921\u093c\u0947 \u092a\u0948\u092e\u093e\u0928\u0947 \u0915\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u0932\u093f\u090f \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u0915\u092e\u094d\u092a\u094d\u092f\u0942\u091f\u0947\u0936\u0928\u0932 \u0938\u0902\u0938\u093e\u0927\u0928\u094b\u0902 \u0915\u0940 \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e \u0939\u094b \u0938\u0915\u0924\u0940 \u0939\u0948\u0964 \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e\u0930\u094d\u092f\u092d\u093e\u0930 \u0915\u094b \u0915\u0908 \u092e\u0936\u0940\u0928\u094b\u0902 \u092e\u0947\u0902 \u0935\u093f\u0924\u0930\u093f\u0924 \u0915\u0930\u0928\u0947, \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u0915\u094b \u0924\u0947\u091c \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u0902\u0938\u093e\u0927\u0928 \u092a\u094d\u0930\u092c\u0902\u0927\u0928<\/strong>: \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0938\u092e\u0917\u094d\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u094d\u0930\u0926\u0930\u094d\u0936\u0928 \u0915\u094b \u0905\u0928\u0941\u0915\u0942\u0932\u093f\u0924 \u0915\u0930\u0924\u0947 \u0939\u0941\u090f, \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u093e\u0930\u094d\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u0915\u092e\u094d\u092a\u094d\u092f\u0942\u091f\u0947\u0936\u0928\u0932 \u0938\u0902\u0938\u093e\u0927\u0928\u094b\u0902 \u0915\u0947 \u0906\u0935\u0902\u091f\u0928 \u0915\u093e \u092a\u094d\u0930\u092c\u0902\u0927\u0928 \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0915\u0948\u0936\u093f\u0902\u0917 \u0914\u0930 \u0924\u094d\u0935\u0930\u0923<\/strong>: \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u0930\u093f\u0923\u093e\u092e\u094b\u0902 \u0914\u0930 \u092a\u094d\u0930\u092e\u093e\u0923\u094b\u0902 \u0915\u094b \u0915\u0948\u0936 \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902, \u0938\u092e\u093e\u0928 \u0917\u0941\u0923\u094b\u0902 \u092f\u093e \u092e\u0949\u0921\u0932\u094b\u0902 \u0915\u0947 \u0926\u094b\u092c\u093e\u0930\u093e \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0939\u094b\u0928\u0947 \u092a\u0930 \u0905\u0928\u093e\u0935\u0936\u094d\u092f\u0915 \u0917\u0923\u0928\u093e \u0915\u094b \u0915\u092e \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0915\u093e\u0930\u094d\u092f\u0915\u094d\u0937\u092e\u0924\u093e \u0915\u093e \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0905\u092a\u0928\u0947 \u0909\u091a\u093f\u0924 \u0915\u093e\u092e\u0915\u093e\u091c \u0914\u0930 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0915\u094b \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0938\u094d\u0935\u092f\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0938\u0947 \u0917\u0941\u091c\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940-\u0906\u0927\u093e\u0930\u093f\u0924 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0924\u0902\u0924\u094d\u0930 \u0915\u093e \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0905\u0915\u094d\u0938\u0930 \u090f\u0915\u094d\u0938\u0947\u0938 \u0915\u0902\u091f\u094d\u0930\u094b\u0932 \u0914\u0930 \u092b\u093c\u093e\u092f\u0930\u0935\u0949\u0932 \u091c\u0948\u0938\u0947 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0924\u0902\u0924\u094d\u0930 \u0932\u093e\u0917\u0942 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902\u0964 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0907\u0928 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0938\u0941\u0935\u093f\u0927\u093e\u0913\u0902 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930 \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0938\u092e\u094d\u092c\u0902\u0927\u093f\u0924 \u0932\u093f\u0902\u0915\u094d\u0938<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u092c\u093e\u0930\u0947 \u092e\u0947\u0902 \u0905\u0927\u093f\u0915 \u091c\u093e\u0928\u0915\u093e\u0930\u0940 \u0915\u0947 \u0932\u093f\u090f, \u0906\u092a \u0928\u093f\u092e\u094d\u0928\u0932\u093f\u0916\u093f\u0924 \u0938\u0902\u0938\u093e\u0927\u0928\u094b\u0902 \u0915\u093e \u0938\u0902\u0926\u0930\u094d\u092d \u0932\u0947 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902:<\/p>\n<ol>\n<li><a href=\"https:\/\/en.wikipedia.org\/wiki\/Formal_methods\" target=\"_new\" rel=\"noopener nofollow\">\u0935\u093f\u0915\u093f\u092a\u0940\u0921\u093f\u092f\u093e \u092a\u0930 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947<\/a><\/li>\n<li><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-32275-0\" target=\"_new\" rel=\"noopener nofollow\">\u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a: \u090f\u0932\u094d\u0917\u094b\u0930\u093f\u0926\u092e \u0914\u0930 \u0905\u0928\u0941\u092a\u094d\u0930\u092f\u094b\u0917<\/a><\/li>\n<li><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-319-58768-7\" target=\"_new\" rel=\"noopener nofollow\">\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928: \u0906\u0927\u0941\u0928\u093f\u0915 \u0935\u0940\u090f\u0932\u090f\u0938\u0906\u0908 \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0915\u0947 \u0932\u093f\u090f \u090f\u0915 \u0906\u0935\u0936\u094d\u092f\u0915 \u091f\u0942\u0932\u0915\u093f\u091f<\/a><\/li>\n<li><a href=\"https:\/\/softwarefoundations.cis.upenn.edu\/lf-current\/index.html\" target=\"_new\" rel=\"noopener nofollow\">\u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u092b\u093c\u093e\u0909\u0902\u0921\u0947\u0936\u0928 - \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u092b\u093c\u093e\u0909\u0902\u0921\u0947\u0936\u0928<\/a><\/li>\n<\/ol>\n<p>\u0928\u093f\u0937\u094d\u0915\u0930\u094d\u0937 \u092e\u0947\u0902, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u090f\u0915 \u0936\u0915\u094d\u0924\u093f\u0936\u093e\u0932\u0940 \u0924\u0915\u0928\u0940\u0915 \u0939\u0948 \u091c\u094b \u091c\u091f\u093f\u0932 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0914\u0930 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u090f\u0915 \u0915\u0920\u094b\u0930 \u0914\u0930 \u0917\u0923\u093f\u0924\u0940\u092f \u0926\u0943\u0937\u094d\u091f\u093f\u0915\u094b\u0923 \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u0940 \u0939\u0948\u0964 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u0921\u094b\u092e\u0947\u0928 \u092e\u0947\u0902 \u0907\u0938\u0915\u0947 \u0905\u0928\u0941\u092a\u094d\u0930\u092f\u094b\u0917 \u0938\u0947 \u0909\u0928 \u0909\u0924\u094d\u092a\u093e\u0926\u094b\u0902 \u0914\u0930 \u0938\u0947\u0935\u093e\u0913\u0902 \u092e\u0947\u0902 \u0938\u0941\u0930\u0915\u094d\u0937\u093e, \u0938\u0902\u0930\u0915\u094d\u0937\u093e \u0914\u0930 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u092e\u0947\u0902 \u0935\u0943\u0926\u094d\u0927\u093f \u0939\u094b \u0938\u0915\u0924\u0940 \u0939\u0948 \u091c\u093f\u0928 \u092a\u0930 \u0939\u092e \u092a\u094d\u0930\u0924\u093f\u0926\u093f\u0928 \u092d\u0930\u094b\u0938\u093e \u0915\u0930\u0924\u0947 \u0939\u0948\u0902\u0964 \u091c\u0948\u0938\u0947-\u091c\u0948\u0938\u0947 \u092a\u094d\u0930\u094c\u0926\u094d\u092f\u094b\u0917\u093f\u0915\u0940 \u0935\u093f\u0915\u0938\u093f\u0924 \u0939\u094b\u0924\u0940 \u0939\u0948, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0935\u093f\u0915\u0938\u093f\u0924 \u0939\u094b\u0924\u093e \u0930\u0939\u0947\u0917\u093e, \u0905\u092a\u0928\u0940 \u091a\u0941\u0928\u094c\u0924\u093f\u092f\u094b\u0902 \u0915\u093e \u0938\u092e\u093e\u0927\u093e\u0928 \u0915\u0930\u0947\u0917\u093e \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u0928\u090f \u0915\u094d\u0937\u0947\u0924\u094d\u0930\u094b\u0902 \u092e\u0947\u0902 \u0905\u092a\u0928\u0940 \u092a\u0939\u0941\u0902\u091a \u0915\u093e \u0935\u093f\u0938\u094d\u0924\u093e\u0930 \u0915\u0930\u0947\u0917\u093e\u0964<\/p>","protected":false},"featured_media":468437,"menu_order":0,"template":"","meta":{"_acf_changed":false,"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-477280","wiki","type-wiki","status-publish","has-post-thumbnail","hentry"],"acf":{"faq_title":"Frequently Asked Questions about <mark>Formal Verification for OneProxy Website<\/mark>","faq_items":[{"question":"What is formal verification, and why is it important?","answer":"<p>Formal verification is a rigorous method used in computer science and software engineering to mathematically prove the correctness of hardware and software systems. It is essential for critical systems where errors can have severe consequences, such as in aerospace, medical devices, and financial systems. Formal verification provides a high level of confidence in the system's behavior, making it an indispensable tool for ensuring reliability and safety.<\/p>"},{"question":"How does formal verification work?","answer":"<p>Formal verification involves creating a formal model of the system based on its specifications and using mathematical techniques to verify that the model adheres to those specifications. Automated tools, such as model checkers and theorem provers, are used to perform the verification process. The tools exhaustively analyze all possible system states to ensure that the system behaves as intended and satisfies its specifications.<\/p>"},{"question":"What are the key features of formal verification?","answer":"<p>Formal verification offers several important features that set it apart from other verification methods. It provides completeness, meaning it analyzes all possible system states, leaving no corner case unverified. The method also offers precision, thanks to its use of mathematical logic. Formal verification produces formal proofs of correctness, making it suitable for verifying complex systems with a high level of confidence. It is an effective bug detection method, uncovering subtle bugs that might be missed through testing alone. Additionally, formal verification results are repeatable and consistent, ensuring reliable verification outcomes.<\/p>"},{"question":"What types of formal verification exist?","answer":"<p>There are several types of formal verification techniques, each with its strengths and applications. Common types include model checking, theorem proving, abstract interpretation, equivalence checking, bounded model checking, and SAT\/SMT solving. Each technique addresses specific verification challenges and is suitable for different types of systems.<\/p>"},{"question":"How is formal verification used in practice?","answer":"<p>Formal verification finds applications in hardware design, software development, protocol analysis, automotive and aerospace systems, and security analysis. It is used to ensure the correctness and reliability of critical systems and to identify security vulnerabilities and weaknesses. Formal verification is particularly beneficial in safety-critical domains where precision and exhaustiveness are crucial.<\/p>"},{"question":"What are the challenges and solutions related to formal verification?","answer":"<p>Formal verification can be complex and computationally expensive, especially for large systems with a vast state space. It relies on accurate and complete specifications, and creating formal proofs for complex systems can be challenging. However, abstraction techniques, modular verification, property-directed verification, and tool improvements are among the solutions that address these challenges and enhance the effectiveness of formal verification.<\/p>"},{"question":"How can proxy servers be associated with formal verification?","answer":"<p>Proxy servers can be used in conjunction with formal verification to enhance security, privacy, and performance. They can act as intermediaries between the formal verification tools and the system being verified, protecting sensitive data and distributing the verification workload across multiple machines. Proxy servers themselves can undergo formal verification to ensure their proper functioning, security mechanisms, and reliability.<\/p>"},{"question":"What does the future hold for formal verification?","answer":"<p>The future of formal verification looks promising, with advancements in technology and research expected to address current challenges. Automation and user-friendly tools will make formal verification more accessible, and research efforts will focus on scalability, performance, and integration into development workflows. Formal verification is also expected to play a crucial role in ensuring the safety and reliability of artificial intelligence systems.<\/p>"},{"question":"Where can I find more information about formal verification?","answer":"<p>For more in-depth information about formal verification, you can refer to resources like Wikipedia's formal methods page, books on model checking and formal verification, and online courses like Software Foundations - Logical Foundations. These resources provide valuable insights into the theory, practice, and application of formal verification techniques.<\/p>"}]},"_links":{"self":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/wiki\/477280","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/wiki"}],"about":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/types\/wiki"}],"version-history":[{"count":0,"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/wiki\/477280\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/media\/468437"}],"wp:attachment":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/media?parent=477280"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}