{"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\/ir\/wiki\/formal-verification\/","title":{"rendered":"\u062a\u0627\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc"},"content":{"rendered":"<p>\u062a\u0627\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0631\u0648\u0634\u06cc \u062f\u0642\u06cc\u0642 \u0627\u0633\u062a \u06a9\u0647 \u062f\u0631 \u0639\u0644\u0648\u0645 \u06a9\u0627\u0645\u067e\u06cc\u0648\u062a\u0631 \u0648 \u0645\u0647\u0646\u062f\u0633\u06cc \u0646\u0631\u0645 \u0627\u0641\u0632\u0627\u0631 \u0628\u0631\u0627\u06cc \u0627\u062b\u0628\u0627\u062a \u0631\u06cc\u0627\u0636\u06cc \u062f\u0631\u0633\u062a\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631\u06cc \u0648 \u0646\u0631\u0645 \u0627\u0641\u0632\u0627\u0631\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u0634\u0648\u062f. \u0627\u06cc\u0646 \u0634\u0627\u0645\u0644 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u0631\u06cc\u0627\u0636\u06cc \u0628\u0631\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0627\u06cc\u0646 \u0627\u0633\u062a \u06a9\u0647 \u06cc\u06a9 \u0633\u06cc\u0633\u062a\u0645 \u0647\u0645\u0627\u0646\u0637\u0648\u0631 \u06a9\u0647 \u062f\u0631 \u0646\u0638\u0631 \u06af\u0631\u0641\u062a\u0647 \u0634\u062f\u0647 \u0631\u0641\u062a\u0627\u0631 \u0645\u06cc \u06a9\u0646\u062f \u0648 \u0645\u0634\u062e\u0635\u0627\u062a \u0622\u0646 \u0631\u0627 \u0628\u0631\u0622\u0648\u0631\u062f\u0647 \u0645\u06cc \u06a9\u0646\u062f. \u0627\u06cc\u0646 \u0641\u0631\u0622\u06cc\u0646\u062f \u062a\u0623\u06cc\u06cc\u062f \u0628\u0631\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u062d\u06cc\u0627\u062a\u06cc \u0628\u0633\u06cc\u0627\u0631 \u0645\u0647\u0645 \u0627\u0633\u062a\u060c \u062c\u0627\u06cc\u06cc \u06a9\u0647 \u062e\u0637\u0627\u0647\u0627 \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u0646\u062f \u0639\u0648\u0627\u0642\u0628 \u0634\u062f\u06cc\u062f\u06cc \u062f\u0627\u0634\u062a\u0647 \u0628\u0627\u0634\u0646\u062f\u060c \u0645\u0627\u0646\u0646\u062f \u0647\u0648\u0627\u0641\u0636\u0627\u060c \u062f\u0633\u062a\u06af\u0627\u0647\u200c\u0647\u0627\u06cc \u067e\u0632\u0634\u06a9\u06cc \u0648 \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0645\u0627\u0644\u06cc.<\/p>\n<h2>\u062a\u0627\u0631\u06cc\u062e\u0686\u0647 \u067e\u06cc\u062f\u0627\u06cc\u0634 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0648 \u0627\u0648\u0644\u06cc\u0646 \u0630\u06a9\u0631 \u0622\u0646<\/h2>\n<p>\u0631\u06cc\u0634\u0647\u200c\u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0647 \u0631\u0648\u0632\u0647\u0627\u06cc \u0627\u0648\u0644\u06cc\u0647 \u0639\u0644\u0645 \u0631\u0627\u06cc\u0627\u0646\u0647 \u0628\u0627\u0632\u0645\u06cc\u200c\u06af\u0631\u062f\u062f\u060c \u0632\u0645\u0627\u0646\u06cc \u06a9\u0647 \u0645\u062d\u0642\u0642\u0627\u0646 \u0634\u0631\u0648\u0639 \u0628\u0647 \u0628\u0631\u0631\u0633\u06cc \u0631\u0627\u0647\u200c\u0647\u0627\u06cc\u06cc \u0628\u0631\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0635\u062d\u062a \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627 \u0648 \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627 \u06a9\u0631\u062f\u0646\u062f. \u0645\u0641\u0647\u0648\u0645 \u0631\u0648\u0634 \u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u0627\u0648\u0644\u06cc\u0646 \u0628\u0627\u0631 \u062a\u0648\u0633\u0637 \u0622\u0644\u0646 \u062a\u0648\u0631\u06cc\u0646\u06af \u062f\u0631 \u062f\u0647\u0647 1930 \u0645\u0639\u0631\u0641\u06cc \u0634\u062f \u0648 \u067e\u0627\u06cc\u0647 \u0648 \u0627\u0633\u0627\u0633 \u067e\u06cc\u0634\u0631\u0641\u062a \u0647\u0627\u06cc \u0628\u0639\u062f\u06cc \u062f\u0631 \u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u0631\u0627\u0633\u062a\u06cc \u0622\u0632\u0645\u0627\u06cc\u06cc \u0631\u0627 \u06af\u0630\u0627\u0634\u062a.<\/p>\n<p>\u0628\u0627 \u0627\u06cc\u0646 \u062d\u0627\u0644\u060c \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06af\u0633\u062a\u0631\u062f\u0647 \u0627\u0632 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u062f\u0631 \u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627\u06cc \u0639\u0645\u0644\u06cc \u062f\u0631 \u062f\u0647\u0647 1980 \u0632\u0645\u0627\u0646\u06cc \u06a9\u0647 \u067e\u06cc\u0634\u0631\u0641\u062a\u200c\u0647\u0627 \u062f\u0631 \u0633\u062e\u062a\u200c\u0627\u0641\u0632\u0627\u0631 \u0648 \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631 \u0631\u0627\u06cc\u0627\u0646\u0647 \u0627\u0645\u06a9\u0627\u0646 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0631\u0648\u0634\u200c\u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647\u200c\u062a\u0631 \u0631\u0627 \u0641\u0631\u0627\u0647\u0645 \u06a9\u0631\u062f\u060c \u0622\u063a\u0627\u0632 \u0634\u062f. \u0627\u0632 \u0622\u0646 \u0632\u0645\u0627\u0646\u060c \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0647 \u0637\u0648\u0631 \u0642\u0627\u0628\u0644 \u062a\u0648\u062c\u0647\u06cc \u062a\u06a9\u0627\u0645\u0644 \u06cc\u0627\u0641\u062a\u0647 \u0627\u0633\u062a\u060c \u0648 \u0627\u0645\u0631\u0648\u0632\u0647\u060c \u0646\u0642\u0634 \u0645\u0647\u0645\u06cc \u062f\u0631 \u062a\u0636\u0645\u06cc\u0646 \u0642\u0627\u0628\u0644\u06cc\u062a \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0648 \u0627\u06cc\u0645\u0646\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647 \u0627\u06cc\u0641\u0627 \u0645\u06cc \u06a9\u0646\u062f.<\/p>\n<h2>\u0627\u0637\u0644\u0627\u0639\u0627\u062a \u062f\u0642\u06cc\u0642 \u062f\u0631 \u0645\u0648\u0631\u062f \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc<\/h2>\n<p>\u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0627\u0632 \u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u0631\u06cc\u0627\u0636\u06cc \u0628\u0631\u0627\u06cc \u0627\u062b\u0628\u0627\u062a \u062f\u0631\u0633\u062a\u06cc \u06cc\u06a9 \u0633\u06cc\u0633\u062a\u0645 \u0627\u0632 \u0637\u0631\u06cc\u0642 \u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0642\u06cc\u0627\u0633\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u06a9\u0646\u062f. \u0631\u0648\u0634\u200c\u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u0628\u0647 \u062c\u0627\u06cc \u062a\u06a9\u06cc\u0647 \u0628\u0631 \u0622\u0632\u0645\u0627\u06cc\u0634 \u06cc\u0627 \u0634\u0628\u06cc\u0647\u200c\u0633\u0627\u0632\u06cc\u060c \u062a\u062d\u0644\u06cc\u0644\u06cc \u0642\u0637\u0639\u06cc \u0648 \u062c\u0627\u0645\u0639 \u0627\u0632 \u0631\u0641\u062a\u0627\u0631 \u06cc\u06a9 \u0633\u06cc\u0633\u062a\u0645 \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc\u200c\u06a9\u0646\u0646\u062f. \u0627\u06cc\u0646 \u0631\u0648\u06cc\u06a9\u0631\u062f \u0634\u0627\u0645\u0644 \u0627\u06cc\u062c\u0627\u062f \u06cc\u06a9 \u0645\u062f\u0644 \u0631\u0633\u0645\u06cc \u0627\u0632 \u0633\u06cc\u0633\u062a\u0645\u060c \u062a\u0639\u0631\u06cc\u0641 \u0645\u0634\u062e\u0635\u0627\u062a \u0622\u0646\u060c \u0648 \u0633\u067e\u0633 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u062e\u0648\u062f\u06a9\u0627\u0631 \u0628\u0631\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u06cc\u0627\u0636\u06cc \u0627\u0632 \u067e\u0627\u06cc\u0628\u0646\u062f\u06cc \u0645\u062f\u0644 \u0628\u0647 \u0645\u0634\u062e\u0635\u0627\u062a \u0627\u0633\u062a.<\/p>\n<p>\u0641\u0631\u0622\u06cc\u0646\u062f \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0647 \u0637\u0648\u0631 \u06a9\u0644\u06cc \u0634\u0627\u0645\u0644 \u0645\u0631\u0627\u062d\u0644 \u0632\u06cc\u0631 \u0627\u0633\u062a:<\/p>\n<ol>\n<li>\n<p><strong>\u0645\u0634\u062e\u0635\u0627\u062a<\/strong>: \u0645\u0631\u062d\u0644\u0647 \u0627\u0648\u0644 \u0634\u0627\u0645\u0644 \u062a\u0639\u0631\u06cc\u0641 \u0631\u0641\u062a\u0627\u0631 \u0645\u0648\u0631\u062f \u0646\u0638\u0631 \u0633\u06cc\u0633\u062a\u0645 \u0628\u0647 \u0632\u0628\u0627\u0646 \u0631\u0633\u0645\u06cc \u0627\u0633\u062a. \u0627\u06cc\u0646 \u0645\u0634\u062e\u0635\u0627\u062a \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u06cc\u06a9 \u0645\u0631\u062c\u0639 \u0628\u0631\u0627\u06cc \u0641\u0631\u0622\u06cc\u0646\u062f \u062a\u0623\u06cc\u06cc\u062f \u0639\u0645\u0644 \u0645\u06cc \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0645\u062f\u0644 \u0633\u0627\u0632\u06cc<\/strong>: \u06cc\u06a9 \u0645\u062f\u0644 \u0631\u0633\u0645\u06cc \u0627\u0632 \u0633\u06cc\u0633\u062a\u0645 \u0628\u0631 \u0627\u0633\u0627\u0633 \u0645\u0634\u062e\u0635\u0627\u062a \u0627\u06cc\u062c\u0627\u062f \u0645\u06cc \u0634\u0648\u062f. \u0627\u06cc\u0646 \u0645\u062f\u0644 \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u062f \u0628\u0647 \u0634\u06a9\u0644 \u0645\u0627\u0634\u06cc\u0646\u200c\u0647\u0627\u06cc \u062d\u0627\u0644\u062a \u0645\u062d\u062f\u0648\u062f\u060c \u0634\u0628\u06a9\u0647\u200c\u0647\u0627\u06cc \u067e\u062a\u0631\u06cc \u06cc\u0627 \u0633\u0627\u06cc\u0631 \u0627\u0646\u062a\u0632\u0627\u0639\u0627\u062a \u0631\u06cc\u0627\u0636\u06cc \u0628\u0627\u0634\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0627\u06cc\u06cc\u062f<\/strong>: \u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u062e\u0648\u062f\u06a9\u0627\u0631\u060c \u0645\u0627\u0646\u0646\u062f \u0628\u0631\u0631\u0633\u06cc\u200c\u06a9\u0646\u0646\u062f\u0647\u200c\u0647\u0627\u06cc \u0645\u062f\u0644 \u06cc\u0627 \u0627\u062b\u0628\u0627\u062a\u200c\u06a9\u0646\u0646\u062f\u0647\u200c\u0647\u0627\u06cc \u0642\u0636\u06cc\u0647\u060c \u0628\u0631\u0627\u06cc \u062a\u062d\u0644\u06cc\u0644 \u0645\u062f\u0644 \u0648 \u0628\u0631\u0631\u0633\u06cc \u0627\u06cc\u0646\u06a9\u0647 \u0622\u06cc\u0627 \u0628\u0627 \u0645\u0634\u062e\u0635\u0627\u062a \u062f\u0627\u062f\u0647 \u0634\u062f\u0647 \u0645\u0637\u0627\u0628\u0642\u062a \u062f\u0627\u0631\u062f \u06cc\u0627 \u062e\u06cc\u0631\u060c \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc\u200c\u0634\u0648\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0635\u062d\u06cc\u062d<\/strong>: \u062f\u0631 \u0635\u0648\u0631\u062a \u0645\u0634\u0627\u0647\u062f\u0647 \u0647\u0631\u06af\u0648\u0646\u0647 \u0645\u063a\u0627\u06cc\u0631\u062a \u0628\u06cc\u0646 \u0645\u062f\u0644 \u0648 \u0645\u0634\u062e\u0635\u0627\u062a\u060c \u0627\u0635\u0644\u0627\u062d\u0627\u062a \u0644\u0627\u0632\u0645 \u0627\u0646\u062c\u0627\u0645 \u0634\u062f\u0647 \u0648 \u0641\u0631\u0622\u06cc\u0646\u062f \u062a\u0623\u06cc\u06cc\u062f \u0645\u062c\u062f\u062f\u0627\u064b \u062a\u06a9\u0631\u0627\u0631 \u0645\u06cc \u0634\u0648\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0627\u0639\u062a\u0628\u0627\u0631 \u0633\u0646\u062c\u06cc<\/strong>: \u0645\u0631\u062d\u0644\u0647 \u0622\u062e\u0631 \u0634\u0627\u0645\u0644 \u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc \u0627\u06cc\u0646 \u0627\u0633\u062a \u06a9\u0647 \u0645\u062f\u0644 \u062a\u0627\u06cc\u06cc\u062f \u0634\u062f\u0647 \u0628\u0647 \u0637\u0648\u0631 \u062f\u0642\u06cc\u0642 \u0631\u0641\u062a\u0627\u0631 \u0633\u06cc\u0633\u062a\u0645 \u0645\u0648\u0631\u062f \u0646\u0638\u0631 \u0631\u0627 \u0646\u0634\u0627\u0646 \u0645\u06cc \u062f\u0647\u062f.<\/p>\n<\/li>\n<\/ol>\n<h2>\u0633\u0627\u062e\u062a\u0627\u0631 \u062f\u0627\u062e\u0644\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0646\u062d\u0648\u0647 \u06a9\u0627\u0631 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc<\/h2>\n<p>\u0633\u0627\u062e\u062a\u0627\u0631 \u062f\u0627\u062e\u0644\u06cc \u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u0628\u0633\u062a\u0647 \u0628\u0647 \u062a\u06a9\u0646\u06cc\u06a9 \u062e\u0627\u0635 \u0645\u0648\u0631\u062f \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u062a\u0641\u0627\u0648\u062a \u0628\u0627\u0634\u062f\u060c \u0627\u0645\u0627 \u0628\u0647 \u0637\u0648\u0631 \u06a9\u0644\u06cc\u060c \u0622\u0646\u0647\u0627 \u0627\u0632 \u0627\u062c\u0632\u0627\u06cc \u0632\u06cc\u0631 \u062a\u0634\u06a9\u06cc\u0644 \u0634\u062f\u0647 \u0627\u0646\u062f:<\/p>\n<ol>\n<li>\n<p><strong>\u0632\u0628\u0627\u0646 \u0631\u0633\u0645\u06cc<\/strong>: \u06cc\u06a9 \u0627\u0628\u0632\u0627\u0631 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0646\u06cc\u0627\u0632 \u0628\u0647 \u06cc\u06a9 \u0632\u0628\u0627\u0646 \u0631\u0633\u0645\u06cc \u062f\u0642\u06cc\u0642 \u0648 \u0628\u062f\u0648\u0646 \u0627\u0628\u0647\u0627\u0645 \u062f\u0627\u0631\u062f \u06a9\u0647 \u0628\u062a\u0648\u0627\u0646 \u0645\u0634\u062e\u0635\u0627\u062a \u0648 \u0648\u06cc\u0698\u06af\u06cc \u0647\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0631\u0627 \u062f\u0631 \u0622\u0646 \u0628\u06cc\u0627\u0646 \u06a9\u0631\u062f. \u0627\u06cc\u0646 \u0632\u0628\u0627\u0646 \u0628\u0647 \u0627\u0628\u0632\u0627\u0631 \u0627\u062c\u0627\u0632\u0647 \u0645\u06cc \u062f\u0647\u062f \u062a\u0627 \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0645\u0646\u0637\u0642 \u0631\u06cc\u0627\u0636\u06cc \u062f\u0631\u0628\u0627\u0631\u0647 \u0633\u06cc\u0633\u062a\u0645 \u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u062c\u0632\u06cc\u0647 \u0648 \u0627\u0646\u062a\u0632\u0627\u0639<\/strong>: \u0627\u0628\u0632\u0627\u0631 \u0628\u0627\u06cc\u062f \u0632\u0628\u0627\u0646 \u0631\u0633\u0645\u06cc \u0631\u0627 \u062a\u062c\u0632\u06cc\u0647 \u06a9\u0646\u062f \u0648 \u06cc\u06a9 \u0646\u0645\u0627\u06cc\u0634 \u0627\u0646\u062a\u0632\u0627\u0639\u06cc \u0627\u0632 \u0633\u06cc\u0633\u062a\u0645 \u0627\u06cc\u062c\u0627\u062f \u06a9\u0646\u062f. \u0627\u06cc\u0646 \u0627\u0646\u062a\u0632\u0627\u0639 \u0628\u0631\u0627\u06cc \u0645\u062f\u06cc\u0631\u06cc\u062a \u0645\u0648\u062b\u0631 \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u0628\u0632\u0631\u06af \u0648 \u067e\u06cc\u0686\u06cc\u062f\u0647 \u0636\u0631\u0648\u0631\u06cc \u0627\u0633\u062a.<\/p>\n<\/li>\n<li>\n<p><strong>\u0628\u0631\u0631\u0633\u06cc \u0645\u062f\u0644<\/strong>: \u0628\u0631\u0631\u0633\u06cc \u0645\u062f\u0644 \u06cc\u06a9 \u062a\u06a9\u0646\u06cc\u06a9 \u0627\u0633\u0627\u0633\u06cc \u0627\u0633\u062a \u06a9\u0647 \u062f\u0631 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u0634\u0648\u062f. \u0627\u06cc\u0646 \u0634\u0627\u0645\u0644 \u0628\u0631\u0631\u0633\u06cc \u0633\u06cc\u0633\u062a\u0645\u0627\u062a\u06cc\u06a9 \u062a\u0645\u0627\u0645 \u062d\u0627\u0644\u062a \u0647\u0627\u06cc \u0645\u0645\u06a9\u0646 \u0645\u062f\u0644 \u0628\u0631\u0627\u06cc \u0628\u0631\u0631\u0633\u06cc \u0627\u06cc\u0646\u06a9\u0647 \u0622\u06cc\u0627 \u0647\u0631 \u062d\u0627\u0644\u062a\u06cc \u0648\u06cc\u0698\u06af\u06cc \u0647\u0627\u06cc \u0645\u0634\u062e\u0635 \u0634\u062f\u0647 \u0631\u0627 \u0646\u0642\u0636 \u0645\u06cc \u06a9\u0646\u062f \u06cc\u0627 \u062e\u06cc\u0631.<\/p>\n<\/li>\n<li>\n<p><strong>\u0627\u062b\u0628\u0627\u062a \u0642\u0636\u06cc\u0647<\/strong>: \u06cc\u06a9\u06cc \u062f\u06cc\u06af\u0631 \u0627\u0632 \u0631\u0648\u06cc\u06a9\u0631\u062f\u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0635\u0648\u0631\u06cc\u060c \u0627\u062b\u0628\u0627\u062a \u0642\u0636\u06cc\u0647 \u0627\u0633\u062a \u06a9\u0647 \u0634\u0627\u0645\u0644 \u0627\u062b\u0628\u0627\u062a \u062f\u0631\u0633\u062a\u06cc \u06cc\u06a9 \u0633\u06cc\u0633\u062a\u0645 \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0645\u0646\u0637\u0642\u06cc \u0648 \u0628\u0631\u0627\u0647\u06cc\u0646 \u0631\u06cc\u0627\u0636\u06cc \u0627\u0633\u062a.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0645\u062a\u0642\u0627\u0628\u0644<\/strong>: \u0627\u06af\u0631 \u0641\u0631\u0622\u06cc\u0646\u062f \u0631\u0627\u0633\u062a\u06cc\u200c\u0622\u0632\u0645\u0627\u06cc\u06cc \u0646\u0642\u0636 \u0645\u0634\u062e\u0635\u0627\u062a \u0631\u0627 \u062a\u0634\u062e\u06cc\u0635 \u062f\u0647\u062f\u060c \u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0645\u062b\u0627\u0644\u200c\u0647\u0627\u06cc \u0645\u062a\u0642\u0627\u0628\u0644 \u0628\u0647 \u0634\u0646\u0627\u0633\u0627\u06cc\u06cc \u0639\u0644\u062a \u0627\u0635\u0644\u06cc \u06a9\u0645\u06a9 \u0645\u06cc\u200c\u06a9\u0646\u062f \u0648 \u0628\u06cc\u0646\u0634\u06cc \u062f\u0631 \u0645\u0648\u0631\u062f \u0631\u0641\u0639\u200c\u0647\u0627\u06cc \u0627\u062d\u062a\u0645\u0627\u0644\u06cc \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc\u200c\u06a9\u0646\u062f.<\/p>\n<\/li>\n<\/ol>\n<h2>\u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0648\u06cc\u0698\u06af\u06cc \u0647\u0627\u06cc \u06a9\u0644\u06cc\u062f\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc<\/h2>\n<p>\u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0686\u0646\u062f\u06cc\u0646 \u0648\u06cc\u0698\u06af\u06cc \u06a9\u0644\u06cc\u062f\u06cc \u0631\u0627 \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc \u062f\u0647\u062f \u06a9\u0647 \u0622\u0646 \u0631\u0627 \u0627\u0632 \u0633\u0627\u06cc\u0631 \u0631\u0648\u0634 \u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0645\u062a\u0645\u0627\u06cc\u0632 \u0645\u06cc \u06a9\u0646\u062f:<\/p>\n<ol>\n<li>\n<p><strong>\u06a9\u0627\u0645\u0644 \u0628\u0648\u062f\u0646<\/strong>: \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u06a9\u0627\u0645\u0644 \u0648 \u062c\u0627\u0645\u0639\u06cc \u0627\u0632 \u062a\u0645\u0627\u0645 \u0648\u0636\u0639\u06cc\u062a\u200c\u0647\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0645\u0645\u06a9\u0646 \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc\u200c\u062f\u0647\u062f \u0648 \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0645\u06cc\u200c\u062f\u0647\u062f \u06a9\u0647 \u0647\u06cc\u0686 \u0645\u0648\u0631\u062f \u06af\u0648\u0634\u0647\u200c\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0646\u0634\u062f\u0647 \u0628\u0627\u0642\u06cc \u0646\u0645\u06cc\u200c\u0645\u0627\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062f\u0642\u062a\u060c \u062f\u0631\u0633\u062a\u06cc<\/strong>: \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0645\u0646\u0637\u0642 \u0631\u06cc\u0627\u0636\u06cc \u0633\u0637\u062d \u0628\u0627\u0644\u0627\u06cc\u06cc \u0627\u0632 \u062f\u0642\u062a \u0631\u0627 \u062f\u0631 \u062a\u0627\u06cc\u06cc\u062f \u0648\u06cc\u0698\u06af\u06cc \u0647\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u062a\u0636\u0645\u06cc\u0646 \u0645\u06cc \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0645\u062f\u0627\u0631\u06a9 \u0631\u0633\u0645\u06cc<\/strong>: \u0631\u0627\u0633\u062a\u06cc\u200c\u0622\u0632\u0645\u0627\u06cc\u06cc \u0631\u0633\u0645\u06cc\u060c \u0627\u062b\u0628\u0627\u062a\u200c\u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u0635\u062d\u062a \u0633\u06cc\u0633\u062a\u0645 \u0631\u0627 \u0627\u06cc\u062c\u0627\u062f \u0645\u06cc\u200c\u06a9\u0646\u062f \u0648 \u062a\u0623\u06cc\u06cc\u062f \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647 \u0631\u0627 \u0628\u0627 \u062f\u0631\u062c\u0647 \u0628\u0627\u0644\u0627\u06cc\u06cc \u0627\u0632 \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0627\u0645\u06a9\u0627\u0646\u200c\u067e\u0630\u06cc\u0631 \u0645\u06cc\u200c\u0633\u0627\u0632\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0634\u062e\u06cc\u0635 \u0627\u0634\u06a9\u0627\u0644<\/strong>: \u0631\u0627\u0633\u062a\u06cc\u200c\u0622\u0632\u0645\u0627\u06cc\u06cc \u0631\u0633\u0645\u06cc \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u062f \u0628\u0627\u06af\u200c\u0647\u0627 \u0648 \u0622\u0633\u06cc\u0628\u200c\u067e\u0630\u06cc\u0631\u06cc\u200c\u0647\u0627\u06cc \u0638\u0631\u06cc\u0641\u06cc \u0631\u0627 \u06a9\u0647 \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u062a\u0646\u0647\u0627 \u0627\u0632 \u0637\u0631\u06cc\u0642 \u0622\u0632\u0645\u0627\u06cc\u0634 \u0622\u0634\u06a9\u0627\u0631 \u0646\u0634\u0648\u0646\u062f\u060c \u0622\u0634\u06a9\u0627\u0631 \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u06a9\u0631\u0627\u0631\u067e\u0630\u06cc\u0631\u06cc \u062a\u0627\u06cc\u06cc\u062f<\/strong>: \u0646\u062a\u0627\u06cc\u062c \u0631\u0633\u0645\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0642\u0627\u0628\u0644 \u062a\u06a9\u0631\u0627\u0631\u060c \u0633\u0627\u0632\u06af\u0627\u0631 \u0648 \u0645\u0633\u062a\u0642\u0644 \u0627\u0632 \u062a\u0623\u06cc\u06cc\u062f \u06a9\u0646\u0646\u062f\u0647 \u0647\u0633\u062a\u0646\u062f \u0648 \u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc \u0635\u062d\u062a \u062e\u0648\u062f \u0641\u0631\u0622\u06cc\u0646\u062f \u062a\u0623\u06cc\u06cc\u062f \u0631\u0627 \u0622\u0633\u0627\u0646\u200c\u062a\u0631 \u0645\u06cc\u200c\u06a9\u0646\u0646\u062f.<\/p>\n<\/li>\n<\/ol>\n<h2>\u0646\u0648\u0639 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0631\u0627 \u0628\u0646\u0648\u06cc\u0633\u06cc\u062f. \u0627\u0632 \u062c\u062f\u0627\u0648\u0644 \u0648 \u0644\u06cc\u0633\u062a \u0647\u0627 \u0628\u0631\u0627\u06cc \u0646\u0648\u0634\u062a\u0646 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u06cc\u062f.<\/h2>\n<p>\u0627\u0646\u0648\u0627\u0639 \u0645\u062e\u062a\u0644\u0641\u06cc \u0627\u0632 \u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u062a\u0627\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0648\u062c\u0648\u062f \u062f\u0627\u0631\u062f \u06a9\u0647 \u0647\u0631 \u06a9\u062f\u0627\u0645 \u0646\u0642\u0627\u0637 \u0642\u0648\u062a \u0648 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a \u0647\u0627\u06cc \u062e\u0648\u062f \u0631\u0627 \u062f\u0627\u0631\u0646\u062f. \u0628\u0631\u062e\u06cc \u0627\u0632 \u0627\u0646\u0648\u0627\u0639 \u0631\u0627\u06cc\u062c \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0639\u0628\u0627\u0631\u062a\u0646\u062f \u0627\u0632:<\/p>\n<ol>\n<li>\n<p><strong>\u0628\u0631\u0631\u0633\u06cc \u0645\u062f\u0644<\/strong>: \u0627\u06cc\u0646 \u062a\u06a9\u0646\u06cc\u06a9 \u062a\u0645\u0627\u0645 \u062d\u0627\u0644\u062a \u0647\u0627\u06cc \u0645\u0645\u06a9\u0646 \u06cc\u06a9 \u0645\u062f\u0644 \u062d\u0627\u0644\u062a \u0645\u062d\u062f\u0648\u062f \u0631\u0627 \u0628\u0631\u0631\u0633\u06cc \u0645\u06cc \u06a9\u0646\u062f \u062a\u0627 \u0628\u0631\u0631\u0633\u06cc \u06a9\u0646\u062f \u06a9\u0647 \u0622\u06cc\u0627 \u06cc\u06a9 \u0648\u06cc\u0698\u06af\u06cc \u0645\u0639\u06cc\u0646 \u0628\u0631\u0627\u06cc \u06a9\u0644 \u0633\u06cc\u0633\u062a\u0645 \u0648\u062c\u0648\u062f \u062f\u0627\u0631\u062f \u06cc\u0627 \u062e\u06cc\u0631. \u0628\u0631\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc\u06cc \u0628\u0627 \u062a\u0639\u062f\u0627\u062f \u0645\u062d\u062f\u0648\u062f\u06cc \u0627\u0632 \u062d\u0627\u0644\u062a \u0647\u0627 \u0645\u0646\u0627\u0633\u0628 \u0627\u0633\u062a \u0627\u0645\u0627 \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u0628\u0631\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u0628\u0632\u0631\u06af \u0627\u0632 \u0646\u0638\u0631 \u0645\u062d\u0627\u0633\u0628\u0627\u062a\u06cc \u06af\u0631\u0627\u0646 \u0628\u0627\u0634\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0627\u062b\u0628\u0627\u062a \u0642\u0636\u06cc\u0647<\/strong>: \u0627\u062b\u0628\u0627\u062a \u0642\u0636\u06cc\u0647 \u0628\u0631 \u0645\u0646\u0637\u0642 \u0631\u06cc\u0627\u0636\u06cc \u0648 \u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u0627\u062b\u0628\u0627\u062a \u0628\u0631\u0627\u06cc \u0646\u0634\u0627\u0646 \u062f\u0627\u062f\u0646 \u062f\u0631\u0633\u062a\u06cc \u06cc\u06a9 \u0633\u06cc\u0633\u062a\u0645 \u0628\u0631 \u0627\u0633\u0627\u0633 \u0645\u0634\u062e\u0635\u0627\u062a \u0631\u0633\u0645\u06cc \u0622\u0646 \u0645\u062a\u06a9\u06cc \u0627\u0633\u062a. \u0628\u0631\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u062e\u0648\u0627\u0635 \u067e\u06cc\u0686\u06cc\u062f\u0647 \u0645\u0648\u062b\u0631 \u0627\u0633\u062a \u0627\u0645\u0627 \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u06a9\u0627\u0631 \u0641\u0634\u0631\u062f\u0647 \u0628\u0627\u0634\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0641\u0633\u06cc\u0631 \u0686\u06a9\u06cc\u062f\u0647<\/strong>: \u062a\u0641\u0633\u06cc\u0631 \u0627\u0646\u062a\u0632\u0627\u0639\u06cc \u0631\u0641\u062a\u0627\u0631 \u06cc\u06a9 \u0633\u06cc\u0633\u062a\u0645 \u0631\u0627 \u0628\u0627 \u0627\u0646\u062a\u0632\u0627\u0639 \u062d\u0627\u0644\u0627\u062a \u0648 \u0648\u06cc\u0698\u06af\u06cc \u0647\u0627\u06cc \u0622\u0646 \u062a\u0642\u0631\u06cc\u0628 \u0645\u06cc \u06a9\u0646\u062f. \u0627\u06cc\u0646 \u0628\u0647 \u0648\u06cc\u0698\u0647 \u0628\u0631\u0627\u06cc \u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u062f\u0631 \u0645\u0642\u06cc\u0627\u0633 \u0628\u0632\u0631\u06af \u0645\u0641\u06cc\u062f \u0627\u0633\u062a \u0648 \u0628\u0631\u0627\u06cc \u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0646\u0631\u0645 \u0627\u0641\u0632\u0627\u0631 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0634\u062f\u0647 \u0627\u0633\u062a.<\/p>\n<\/li>\n<li>\n<p><strong>\u0628\u0631\u0631\u0633\u06cc \u0647\u0645 \u0627\u0631\u0632\u06cc<\/strong>: \u0628\u0631\u0631\u0633\u06cc \u0647\u0645 \u0627\u0631\u0632\u06cc \u0628\u0631\u0631\u0633\u06cc \u0645\u06cc \u06a9\u0646\u062f \u06a9\u0647 \u0622\u06cc\u0627 \u062f\u0648 \u0646\u0633\u062e\u0647 \u0627\u0632 \u06cc\u06a9 \u0633\u06cc\u0633\u062a\u0645 \u06cc\u0627 \u0637\u0631\u0627\u062d\u06cc \u0627\u0632 \u0646\u0638\u0631 \u0639\u0645\u0644\u06a9\u0631\u062f\u06cc \u0645\u0639\u0627\u062f\u0644 \u0647\u0633\u062a\u0646\u062f \u06cc\u0627 \u062e\u06cc\u0631. \u0645\u0639\u0645\u0648\u0644\u0627\u064b \u062f\u0631 \u062a\u0623\u06cc\u06cc\u062f \u0637\u0631\u0627\u062d\u06cc \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631 \u0648 \u062a\u0633\u062a \u0631\u06af\u0631\u0633\u06cc\u0648\u0646 \u0646\u0631\u0645 \u0627\u0641\u0632\u0627\u0631 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u0634\u0648\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0628\u0631\u0631\u0633\u06cc \u0645\u062f\u0644 \u0645\u062d\u062f\u0648\u062f<\/strong>: \u0628\u0631\u0631\u0633\u06cc \u0645\u062f\u0644 \u0645\u062d\u062f\u0648\u062f\u060c \u06a9\u0627\u0648\u0634 \u062d\u0627\u0644\u062a \u0647\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0631\u0627 \u0628\u0647 \u062a\u0639\u062f\u0627\u062f \u062b\u0627\u0628\u062a\u06cc \u0627\u0632 \u0645\u0631\u0627\u062d\u0644 \u0645\u062d\u062f\u0648\u062f \u0645\u06cc \u06a9\u0646\u062f. \u0628\u0631\u0627\u06cc \u06cc\u0627\u0641\u062a\u0646 \u0627\u0634\u06a9\u0627\u0644\u0627\u062a \u062f\u0631 \u06cc\u06a9 \u0639\u0645\u0642 \u0627\u062c\u0631\u0627\u06cc \u062e\u0627\u0635 \u0645\u0646\u0627\u0633\u0628 \u0627\u0633\u062a \u0627\u0645\u0627 \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u06a9\u0627\u0645\u0644 \u0628\u0648\u062f\u0646 \u0631\u0627 \u062a\u0636\u0645\u06cc\u0646 \u0646\u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062d\u0644 SAT\/SMT<\/strong>: \u062d\u0644 \u06a9\u0646\u0646\u062f\u0647 \u0647\u0627\u06cc SAT \u0648 SMT \u062f\u0631 \u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u0645\u062e\u062a\u0644\u0641 \u062a\u0627\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0631\u0627\u06cc \u062a\u0639\u06cc\u06cc\u0646 \u0631\u0636\u0627\u06cc\u062a \u0641\u0631\u0645\u0648\u0644 \u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u0648 \u062d\u0644 \u0645\u0633\u0627\u0626\u0644 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u0634\u0648\u0646\u062f.<\/p>\n<\/li>\n<\/ol>\n<p>\u062f\u0631 \u0627\u06cc\u0646\u062c\u0627 \u062c\u062f\u0648\u0644\u06cc \u0648\u062c\u0648\u062f \u062f\u0627\u0631\u062f \u06a9\u0647 \u0627\u0646\u0648\u0627\u0639 \u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0631\u0627 \u062e\u0644\u0627\u0635\u0647 \u0645\u06cc \u06a9\u0646\u062f:<\/p>\n<table>\n<thead>\n<tr>\n<th>\u062a\u0627\u06cc\u067e \u06a9\u0646\u06cc\u062f<\/th>\n<th>\u0634\u0631\u062d<\/th>\n<th>\u0645\u0646\u0627\u0633\u0628 \u0628\u0631\u0627\u06cc<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u0628\u0631\u0631\u0633\u06cc \u0645\u062f\u0644<\/td>\n<td>\u06a9\u0627\u0648\u0634 \u062c\u0627\u0645\u0639 \u0647\u0645\u0647 \u062d\u0627\u0644\u062a \u0647\u0627\u06cc \u0645\u0645\u06a9\u0646<\/td>\n<td>\u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u062d\u0627\u0644\u062a \u0645\u062d\u062f\u0648\u062f<\/td>\n<\/tr>\n<tr>\n<td>\u0627\u062b\u0628\u0627\u062a \u0642\u0636\u06cc\u0647<\/td>\n<td>\u0627\u062b\u0628\u0627\u062a \u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u0628\u0631 \u0627\u0633\u0627\u0633 \u0645\u0646\u0637\u0642 \u0631\u06cc\u0627\u0636\u06cc<\/td>\n<td>\u0648\u06cc\u0698\u06af\u06cc \u0647\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u067e\u06cc\u0686\u06cc\u062f\u0647<\/td>\n<\/tr>\n<tr>\n<td>\u062a\u0641\u0633\u06cc\u0631 \u0686\u06a9\u06cc\u062f\u0647<\/td>\n<td>\u062a\u0642\u0631\u06cc\u0628 \u0631\u0641\u062a\u0627\u0631 \u0633\u06cc\u0633\u062a\u0645<\/td>\n<td>\u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u062f\u0631 \u0645\u0642\u06cc\u0627\u0633 \u0628\u0632\u0631\u06af<\/td>\n<\/tr>\n<tr>\n<td>\u0628\u0631\u0631\u0633\u06cc \u0647\u0645 \u0627\u0631\u0632\u06cc<\/td>\n<td>\u062a\u0623\u06cc\u06cc\u062f \u0647\u0645 \u0627\u0631\u0632\u06cc \u0639\u0645\u0644\u06a9\u0631\u062f\u06cc<\/td>\n<td>\u0646\u0633\u062e\u0647 \u0647\u0627\u06cc \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631\u06cc \u0648 \u0646\u0631\u0645 \u0627\u0641\u0632\u0627\u0631\u06cc<\/td>\n<\/tr>\n<tr>\n<td>\u0628\u0631\u0631\u0633\u06cc \u0645\u062f\u0644 \u0645\u062d\u062f\u0648\u062f<\/td>\n<td>\u06a9\u0627\u0648\u0634 \u062f\u0631 \u0686\u0646\u062f \u0645\u0631\u062d\u0644\u0647 \u062b\u0627\u0628\u062a<\/td>\n<td>\u062a\u0634\u062e\u06cc\u0635 \u0627\u0634\u06a9\u0627\u0644 \u062f\u0631 \u0639\u0645\u0642<\/td>\n<\/tr>\n<tr>\n<td>\u062d\u0644 SAT\/SMT<\/td>\n<td>\u062a\u0639\u06cc\u06cc\u0646 \u0631\u0636\u0627\u06cc\u062a\u0645\u0646\u062f\u06cc \u0641\u0631\u0645\u0648\u0644 \u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc<\/td>\n<td>\u067e\u0634\u062a\u06cc\u0628\u0627\u0646\u06cc \u0627\u0632 \u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u062f\u06cc\u06af\u0631<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\u0631\u0627\u0647 \u0647\u0627\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc\u060c \u0645\u0634\u06a9\u0644\u0627\u062a \u0648 \u0631\u0627\u0647 \u062d\u0644 \u0647\u0627\u06cc \u0622\u0646\u0647\u0627 \u062f\u0631 \u0627\u0631\u062a\u0628\u0627\u0637 \u0628\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647.<\/h2>\n<p>\u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627 \u0631\u0627 \u062f\u0631 \u062d\u0648\u0632\u0647\u200c\u0647\u0627\u06cc \u0645\u062e\u062a\u0644\u0641 \u0627\u0632 \u062c\u0645\u0644\u0647 \u0637\u0631\u0627\u062d\u06cc \u0633\u062e\u062a\u200c\u0627\u0641\u0632\u0627\u0631\u060c \u062a\u0648\u0633\u0639\u0647 \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631 \u0648 \u0627\u0645\u0646\u06cc\u062a \u0633\u06cc\u0633\u062a\u0645 \u067e\u06cc\u062f\u0627 \u0645\u06cc\u200c\u06a9\u0646\u062f. \u062f\u0631 \u0627\u06cc\u0646\u062c\u0627 \u0686\u0646\u062f \u0631\u0648\u0634 \u0631\u0627\u06cc\u062c \u0628\u0631\u0627\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0648\u062c\u0648\u062f \u062f\u0627\u0631\u062f:<\/p>\n<ol>\n<li>\n<p><strong>\u062a\u0623\u06cc\u06cc\u062f \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631<\/strong>: \u062f\u0631 \u0637\u0631\u0627\u062d\u06cc \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631\u060c \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u062a\u0636\u0645\u06cc\u0646 \u0645\u06cc \u06a9\u0646\u062f \u06a9\u0647 \u0645\u062f\u0627\u0631\u0647\u0627 \u0648 \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u062f\u06cc\u062c\u06cc\u062a\u0627\u0644 \u0628\u0647 \u0645\u0634\u062e\u0635\u0627\u062a \u062e\u0648\u062f \u067e\u0627\u06cc\u0628\u0646\u062f \u0647\u0633\u062a\u0646\u062f \u0648 \u0627\u0632 \u0627\u0634\u06a9\u0627\u0644\u0627\u062a \u0648 \u062e\u0637\u0627\u0647\u0627\u06cc \u0645\u0631\u0628\u0648\u0637 \u0628\u0647 \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631 \u062c\u0644\u0648\u06af\u06cc\u0631\u06cc \u0645\u06cc \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0627\u06cc\u06cc\u062f \u0646\u0631\u0645 \u0627\u0641\u0632\u0627\u0631<\/strong>: \u0631\u0648\u0634\u200c\u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u0628\u0631\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0635\u062d\u062a \u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627\u060c \u0634\u0646\u0627\u0633\u0627\u06cc\u06cc \u0627\u0634\u06a9\u0627\u0644\u0627\u062a \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631 \u0648 \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0627\u0632 \u0627\u0646\u0637\u0628\u0627\u0642 \u0628\u0627 \u0627\u0644\u0632\u0627\u0645\u0627\u062a \u0627\u06cc\u0645\u0646\u06cc \u0648 \u0627\u0645\u0646\u06cc\u062a\u06cc \u0628\u0631\u0627\u06cc \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631 \u0627\u0639\u0645\u0627\u0644 \u0645\u06cc\u200c\u0634\u0648\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0623\u06cc\u06cc\u062f \u067e\u0631\u0648\u062a\u06a9\u0644<\/strong>: \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0631\u0627\u06cc \u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u067e\u0631\u0648\u062a\u06a9\u0644 \u0647\u0627\u06cc \u0627\u0631\u062a\u0628\u0627\u0637\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u0634\u0648\u062f \u0648 \u0627\u0632 \u062a\u0628\u0627\u062f\u0644 \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u0642\u0627\u0628\u0644 \u0627\u0639\u062a\u0645\u0627\u062f \u0648 \u0627\u06cc\u0645\u0646 \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0645\u06cc \u06cc\u0627\u0628\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062e\u0648\u062f\u0631\u0648 \u0648 \u0647\u0648\u0627\u0641\u0636\u0627<\/strong>: \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u062d\u06cc\u0627\u062a\u06cc \u062f\u0631 \u0635\u0646\u0627\u06cc\u0639 \u062e\u0648\u062f\u0631\u0648\u0633\u0627\u0632\u06cc \u0648 \u0647\u0648\u0627\u0641\u0636\u0627 \u0628\u0631\u0627\u06cc \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0627\u0632 \u0627\u06cc\u0645\u0646\u06cc \u0648 \u0627\u0646\u0637\u0628\u0627\u0642 \u0628\u0627 \u0627\u0633\u062a\u0627\u0646\u062f\u0627\u0631\u062f\u0647\u0627\u06cc \u0635\u0646\u0639\u062a\u060c \u062a\u0627\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0645\u06cc \u0634\u0648\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u0631\u0645\u0632\u0646\u06af\u0627\u0631\u06cc<\/strong>: \u0631\u0648\u0634 \u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u0628\u0631\u0627\u06cc \u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u067e\u0631\u0648\u062a\u06a9\u0644 \u0647\u0627\u06cc \u0631\u0645\u0632\u0646\u06af\u0627\u0631\u06cc \u0648 \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0627\u0632 \u0645\u0642\u0627\u0648\u0645\u062a \u0622\u0646\u0647\u0627 \u062f\u0631 \u0628\u0631\u0627\u0628\u0631 \u062d\u0645\u0644\u0627\u062a \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u0634\u0648\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0627\u0645\u0646\u06cc\u062a\u06cc<\/strong>: \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0631\u0627\u06cc \u0634\u0646\u0627\u0633\u0627\u06cc\u06cc \u0622\u0633\u06cc\u0628 \u067e\u0630\u06cc\u0631\u06cc \u0647\u0627\u06cc \u0627\u0645\u0646\u06cc\u062a\u06cc \u0648 \u062a\u0623\u06cc\u06cc\u062f \u0639\u062f\u0645 \u0648\u062c\u0648\u062f \u0646\u0642\u0627\u0637 \u0636\u0639\u0641 \u0642\u0627\u0628\u0644 \u0628\u0647\u0631\u0647 \u0628\u0631\u062f\u0627\u0631\u06cc \u062f\u0631 \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u0646\u0631\u0645 \u0627\u0641\u0632\u0627\u0631\u06cc \u0648 \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc \u0634\u0648\u062f.<\/p>\n<\/li>\n<\/ol>\n<p>\u0628\u0627 \u0627\u06cc\u0646 \u062d\u0627\u0644\u060c \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0627 \u0686\u0627\u0644\u0634 \u0647\u0627\u06cc\u06cc \u0646\u06cc\u0632 \u0647\u0645\u0631\u0627\u0647 \u0627\u0633\u062a:<\/p>\n<ol>\n<li>\n<p><strong>\u067e\u06cc\u0686\u06cc\u062f\u06af\u06cc<\/strong>: \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u067e\u06cc\u0686\u06cc\u062f\u0647 \u0648 \u0632\u0645\u0627\u0646 \u0628\u0631 \u0628\u0627\u0634\u062f\u060c \u0628\u0647 \u062e\u0635\u0648\u0635 \u0628\u0631\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u0628\u0632\u0631\u06af.<\/p>\n<\/li>\n<li>\n<p><strong>\u0627\u0646\u0641\u062c\u0627\u0631 \u0641\u0636\u0627\u06cc\u06cc \u062f\u0648\u0644\u062a\u06cc<\/strong>: \u062a\u0639\u062f\u0627\u062f \u062d\u0627\u0644\u062a \u0647\u0627\u06cc \u0645\u0645\u06a9\u0646 \u062f\u0631 \u06cc\u06a9 \u0633\u06cc\u0633\u062a\u0645 \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u0628\u0647 \u0637\u0648\u0631 \u062a\u0635\u0627\u0639\u062f\u06cc \u0627\u0641\u0632\u0627\u06cc\u0634 \u06cc\u0627\u0628\u062f \u06a9\u0647 \u0645\u0646\u062c\u0631 \u0628\u0647 \u0627\u0646\u0641\u062c\u0627\u0631 \u0641\u0636\u0627\u06cc \u062d\u0627\u0644\u062a \u0648 \u0627\u0641\u0632\u0627\u06cc\u0634 \u0632\u0645\u0627\u0646 \u062a\u0623\u06cc\u06cc\u062f \u0645\u06cc \u0634\u0648\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062e\u0637\u0627\u0647\u0627\u06cc \u0645\u0634\u062e\u0635\u0627\u062a<\/strong>: \u0627\u06af\u0631 \u0645\u0634\u062e\u0635\u0627\u062a \u0627\u0648\u0644\u06cc\u0647 \u0646\u0627\u062f\u0631\u0633\u062a \u06cc\u0627 \u0646\u0627\u0642\u0635 \u0628\u0627\u0634\u062f\u060c \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0646\u062a\u0627\u06cc\u062c \u0646\u0627\u062f\u0631\u0633\u062a\u06cc \u0627\u06cc\u062c\u0627\u062f \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062f\u0634\u0648\u0627\u0631\u06cc \u0627\u062b\u0628\u0627\u062a \u0631\u0633\u0645\u06cc<\/strong>: \u0627\u06cc\u062c\u0627\u062f \u0627\u062b\u0628\u0627\u062a \u0631\u0633\u0645\u06cc \u0628\u0631\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647 \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u0686\u0627\u0644\u0634 \u0628\u0631\u0627\u0646\u06af\u06cc\u0632 \u0628\u0627\u0634\u062f \u0648 \u0628\u0647 \u06a9\u0627\u0631\u0634\u0646\u0627\u0633\u0627\u0646 \u0645\u0627\u0647\u0631 \u0646\u06cc\u0627\u0632 \u062f\u0627\u0631\u062f.<\/p>\n<\/li>\n<\/ol>\n<p>\u0628\u0631\u0627\u06cc \u0645\u0642\u0627\u0628\u0644\u0647 \u0628\u0627 \u0627\u06cc\u0646 \u0686\u0627\u0644\u0634 \u0647\u0627\u060c \u0628\u0631\u062e\u06cc \u0627\u0632 \u0631\u0627\u0647 \u062d\u0644 \u0647\u0627 \u0639\u0628\u0627\u0631\u062a\u0646\u062f \u0627\u0632:<\/p>\n<ol>\n<li>\n<p><strong>\u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u0627\u0646\u062a\u0632\u0627\u0639<\/strong>: \u0627\u0646\u062a\u0632\u0627\u0639 \u067e\u06cc\u0686\u06cc\u062f\u06af\u06cc \u0645\u062f\u0644 \u0633\u06cc\u0633\u062a\u0645 \u0631\u0627 \u06a9\u0627\u0647\u0634 \u0645\u06cc \u062f\u0647\u062f \u0648 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0627 \u0642\u0627\u0628\u0644 \u0645\u062f\u06cc\u0631\u06cc\u062a \u062a\u0631 \u0645\u06cc \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0627\u06cc\u06cc\u062f \u0645\u062f\u0648\u0644\u0627\u0631<\/strong>: \u062a\u062c\u0632\u06cc\u0647 \u0633\u06cc\u0633\u062a\u0645 \u0628\u0647 \u0645\u0627\u0698\u0648\u0644 \u0647\u0627\u06cc \u06a9\u0648\u0686\u06a9\u062a\u0631 \u0648 \u062a\u0623\u06cc\u06cc\u062f \u0622\u0646\u0647\u0627 \u0628\u0647 \u0637\u0648\u0631 \u0645\u0633\u062a\u0642\u0644 \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u067e\u06cc\u0686\u06cc\u062f\u06af\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0627 \u06a9\u0627\u0647\u0634 \u062f\u0647\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0623\u06cc\u06cc\u062f \u0645\u0633\u062a\u0642\u06cc\u0645 \u0627\u0645\u0648\u0627\u0644<\/strong>: \u062a\u0645\u0631\u06a9\u0632 \u0628\u0631 \u0648\u06cc\u0698\u06af\u06cc \u0647\u0627\u06cc \u062e\u0627\u0635 \u0645\u0648\u0631\u062f \u0639\u0644\u0627\u0642\u0647 \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u062f\u0627\u0645\u0646\u0647 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0627 \u0645\u062d\u062f\u0648\u062f \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0628\u0647\u0628\u0648\u062f \u0627\u0628\u0632\u0627\u0631<\/strong>: \u067e\u06cc\u0634\u0631\u0641\u062a \u062f\u0631 \u0627\u0628\u0632\u0627\u0631\u0647\u0627 \u0648 \u0627\u0644\u06af\u0648\u0631\u06cc\u062a\u0645 \u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u06a9\u0627\u0631\u0627\u06cc\u06cc \u0648 \u0645\u0642\u06cc\u0627\u0633 \u067e\u0630\u06cc\u0631\u06cc \u0631\u0627 \u0628\u0647\u0628\u0648\u062f \u0628\u062e\u0634\u062f.<\/p>\n<\/li>\n<\/ol>\n<h2>\u0645\u0634\u062e\u0635\u0627\u062a \u0627\u0635\u0644\u06cc \u0648 \u0633\u0627\u06cc\u0631 \u0645\u0642\u0627\u06cc\u0633\u0647 \u0647\u0627 \u0628\u0627 \u0627\u0635\u0637\u0644\u0627\u062d\u0627\u062a \u0645\u0634\u0627\u0628\u0647 \u062f\u0631 \u0642\u0627\u0644\u0628 \u062c\u062f\u0627\u0648\u0644 \u0648 \u0641\u0647\u0631\u0633\u062a.<\/h2>\n<p>\u0631\u0627\u0633\u062a\u06cc\u200c\u0622\u0632\u0645\u0627\u06cc\u06cc \u0631\u0633\u0645\u06cc \u0627\u0631\u062a\u0628\u0627\u0637 \u0646\u0632\u062f\u06cc\u06a9\u06cc \u0628\u0627 \u0633\u0627\u06cc\u0631 \u062a\u06a9\u0646\u06cc\u06a9\u200c\u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0648 \u0622\u0632\u0645\u0627\u06cc\u0634 \u062f\u0627\u0631\u062f\u060c \u0627\u0645\u0627 \u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627\u06cc \u0645\u062a\u0645\u0627\u06cc\u0632\u06cc \u0631\u0627 \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc\u200c\u062f\u0647\u062f \u06a9\u0647 \u0622\u0646 \u0631\u0627 \u0645\u062a\u0645\u0627\u06cc\u0632 \u0645\u06cc\u200c\u06a9\u0646\u062f. \u0628\u06cc\u0627\u06cc\u06cc\u062f \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0631\u0627 \u0628\u0627 \u0639\u0628\u0627\u0631\u0627\u062a \u0645\u0634\u0627\u0628\u0647 \u0645\u0642\u0627\u06cc\u0633\u0647 \u06a9\u0646\u06cc\u0645:<\/p>\n<ol>\n<li><strong>\u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u062f\u0631 \u0645\u0642\u0627\u0628\u0644 \u0622\u0632\u0645\u0627\u06cc\u0634<\/strong>:<\/li>\n<\/ol>\n<table>\n<thead>\n<tr>\n<th>\u062c\u0646\u0628\u0647<\/th>\n<th>\u062a\u0627\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc<\/th>\n<th>\u0622\u0632\u0645\u0627\u06cc\u0634 \u06a9\u0631\u062f\u0646<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u0645\u0627\u0647\u06cc\u062a \u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644<\/td>\n<td>\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0631\u06cc\u0627\u0636\u06cc \u0648 \u0642\u06cc\u0627\u0633\u06cc<\/td>\n<td>\u062a\u062c\u0631\u0628\u06cc \u0648 \u0645\u0628\u062a\u0646\u06cc \u0628\u0631 \u0645\u0634\u0627\u0647\u062f\u0647<\/td>\n<\/tr>\n<tr>\n<td>\u06a9\u0627\u0645\u0644 \u0628\u0648\u062f\u0646<\/td>\n<td>\u062a\u062d\u0644\u06cc\u0644 \u062c\u0627\u0645\u0639 \u0648 \u062c\u0627\u0645\u0639<\/td>\n<td>\u067e\u0648\u0634\u0634 \u062c\u0632\u0626\u06cc<\/td>\n<\/tr>\n<tr>\n<td>\u062a\u0634\u062e\u06cc\u0635 \u0627\u0634\u06a9\u0627\u0644<\/td>\n<td>\u062a\u0645\u0627\u0645 \u0627\u0634\u06a9\u0627\u0644\u0627\u062a \u0648 \u062e\u0637\u0627\u0647\u0627\u06cc \u0627\u062d\u062a\u0645\u0627\u0644\u06cc \u0631\u0627 \u067e\u06cc\u062f\u0627 \u0645\u06cc \u06a9\u0646\u062f<\/td>\n<td>\u06a9\u0634\u0641 \u0627\u0634\u06a9\u0627\u0644 \u0646\u0627\u0645\u0634\u062e\u0635<\/td>\n<\/tr>\n<tr>\n<td>\u0627\u0639\u062a\u0645\u0627\u062f \u0628\u0647 \u0646\u062a\u0627\u06cc\u062c<\/td>\n<td>\u0627\u0639\u062a\u0645\u0627\u062f \u0628\u0647 \u0646\u0641\u0633 \u0628\u0627\u0644\u0627 \u0628\u0627 \u0645\u062f\u0627\u0631\u06a9 \u0631\u0633\u0645\u06cc<\/td>\n<td>\u0627\u0639\u062a\u0645\u0627\u062f \u0628\u0647 \u067e\u0648\u0634\u0634 \u062a\u0633\u062a \u0628\u0633\u062a\u06af\u06cc \u062f\u0627\u0631\u062f<\/td>\n<\/tr>\n<tr>\n<td>\u06a9\u0627\u0631\u0628\u0631\u062f<\/td>\n<td>\u0645\u0646\u0627\u0633\u0628 \u0628\u0631\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u0627\u06cc\u0645\u0646\u06cc \u062d\u06cc\u0627\u062a\u06cc<\/td>\n<td>\u062a\u0633\u062a \u0647\u0645\u0647 \u0645\u0646\u0638\u0648\u0631\u0647 \u0628\u0631\u0627\u06cc \u0639\u0645\u0644\u06a9\u0631\u062f<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<ol start=\"2\">\n<li><strong>\u062a\u0627\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u062f\u0631 \u0645\u0642\u0627\u0628\u0644 \u0634\u0628\u06cc\u0647 \u0633\u0627\u0632\u06cc<\/strong>:<\/li>\n<\/ol>\n<table>\n<thead>\n<tr>\n<th>\u062c\u0646\u0628\u0647<\/th>\n<th>\u062a\u0627\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc<\/th>\n<th>\u0634\u0628\u06cc\u0647 \u0633\u0627\u0632\u06cc<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u0645\u062d\u062f\u0648\u062f\u0647 \u062a\u0623\u06cc\u06cc\u062f<\/td>\n<td>\u062b\u0627\u0628\u062a \u0645\u06cc \u06a9\u0646\u062f \u06a9\u0647 \u062e\u0648\u0627\u0635 \u0628\u0631\u0627\u06cc \u0647\u0645\u0647 \u0627\u062c\u0631\u0627\u0647\u0627 \u0648\u062c\u0648\u062f \u062f\u0627\u0631\u062f<\/td>\n<td>\u0646\u062a\u0627\u06cc\u062c \u0631\u0627 \u0628\u0631\u0627\u06cc \u0633\u0646\u0627\u0631\u06cc\u0648\u0647\u0627\u06cc \u0622\u0632\u0645\u0627\u06cc\u0634\u06cc \u062e\u0627\u0635 \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc \u062f\u0647\u062f<\/td>\n<\/tr>\n<tr>\n<td>\u062c\u0627\u0645\u0639 \u0628\u0648\u062f\u0646<\/td>\n<td>\u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u06a9\u0627\u0645\u0644 \u0647\u0645\u0647 \u062d\u0627\u0644\u062a \u0647\u0627\u06cc \u0645\u0645\u06a9\u0646<\/td>\n<td>\u067e\u0648\u0634\u0634 \u0645\u062d\u062f\u0648\u062f<\/td>\n<\/tr>\n<tr>\n<td>\u062a\u0634\u062e\u06cc\u0635 \u0627\u0634\u06a9\u0627\u0644<\/td>\n<td>\u062a\u0645\u0627\u0645 \u0627\u0634\u06a9\u0627\u0644\u0627\u062a \u0648 \u062e\u0637\u0627\u0647\u0627\u06cc \u0627\u062d\u062a\u0645\u0627\u0644\u06cc \u0631\u0627 \u067e\u06cc\u062f\u0627 \u0645\u06cc \u06a9\u0646\u062f<\/td>\n<td>\u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0647\u0645\u0647 \u0645\u0633\u0627\u0626\u0644 \u0631\u0627 \u06a9\u0634\u0641 \u0646\u06a9\u0646\u062f<\/td>\n<\/tr>\n<tr>\n<td>\u0627\u062b\u0628\u0627\u062a \u0647\u0627\u06cc \u0631\u06cc\u0627\u0636\u06cc<\/td>\n<td>\u0645\u062f\u0627\u0631\u06a9 \u0631\u0633\u0645\u06cc \u0635\u062d\u062a \u0631\u0627 \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc \u062f\u0647\u062f<\/td>\n<td>\u0628\u062f\u0648\u0646 \u0645\u062f\u0631\u06a9 \u0631\u0633\u0645\u06cc<\/td>\n<\/tr>\n<tr>\n<td>\u067e\u06cc\u0686\u06cc\u062f\u06af\u06cc \u0632\u0645\u0627\u0646\u06cc<\/td>\n<td>\u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u0627\u0632 \u0646\u0638\u0631 \u0645\u062d\u0627\u0633\u0628\u0627\u062a\u06cc \u06af\u0631\u0627\u0646 \u0628\u0627\u0634\u062f<\/td>\n<td>\u0628\u0647 \u0637\u0648\u0631 \u06a9\u0644\u06cc \u0628\u0631\u0627\u06cc \u0633\u0646\u0627\u0631\u06cc\u0648\u0647\u0627\u06cc \u0641\u0631\u062f\u06cc \u0633\u0631\u06cc\u0639\u062a\u0631 \u0627\u0633\u062a<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\u0686\u0634\u0645 \u0627\u0646\u062f\u0627\u0632\u0647\u0627 \u0648 \u0641\u0646\u0627\u0648\u0631\u06cc \u0647\u0627\u06cc \u0622\u06cc\u0646\u062f\u0647 \u0645\u0631\u0628\u0648\u0637 \u0628\u0647 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc.<\/h2>\n<p>\u0622\u06cc\u0646\u062f\u0647 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0627\u0645\u06cc\u062f\u0648\u0627\u0631\u06a9\u0646\u0646\u062f\u0647 \u0628\u0647 \u0646\u0638\u0631 \u0645\u06cc \u0631\u0633\u062f \u0632\u06cc\u0631\u0627 \u067e\u06cc\u0634\u0631\u0641\u062a \u0647\u0627\u06cc \u0641\u0646\u0627\u0648\u0631\u06cc \u0648 \u062a\u062d\u0642\u06cc\u0642\u0627\u062a \u0647\u0645\u0686\u0646\u0627\u0646 \u0628\u0647 \u0686\u0627\u0644\u0634 \u0647\u0627 \u0648 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a \u0647\u0627\u06cc \u0622\u0646 \u0631\u0633\u06cc\u062f\u06af\u06cc \u0645\u06cc \u06a9\u0646\u062f. \u062f\u0631 \u0627\u06cc\u0646\u062c\u0627 \u0628\u0631\u062e\u06cc \u0627\u0632 \u0686\u0634\u0645 \u0627\u0646\u062f\u0627\u0632\u0647\u0627 \u0648 \u062a\u062d\u0648\u0644\u0627\u062a \u0627\u062d\u062a\u0645\u0627\u0644\u06cc \u0622\u06cc\u0646\u062f\u0647 \u0648\u062c\u0648\u062f \u062f\u0627\u0631\u062f:<\/p>\n<ol>\n<li>\n<p><strong>\u0627\u062a\u0648\u0645\u0627\u0633\u06cc\u0648\u0646 \u0648 \u0628\u0647\u0628\u0648\u062f \u0627\u0628\u0632\u0627\u0631<\/strong>: \u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0627\u062d\u062a\u0645\u0627\u0644\u0627\u064b \u062e\u0648\u062f\u06a9\u0627\u0631\u062a\u0631 \u0648 \u06a9\u0627\u0631\u0628\u0631\u067e\u0633\u0646\u062f\u062a\u0631 \u0645\u06cc \u0634\u0648\u0646\u062f \u0648 \u0645\u0647\u0646\u062f\u0633\u06cc\u0646 \u0628\u0627 \u062a\u062e\u0635\u0635 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u06a9\u0645\u062a\u0631 \u0631\u0627 \u0642\u0627\u062f\u0631 \u0645\u06cc \u0633\u0627\u0632\u0646\u062f \u062a\u0627 \u0628\u0647 \u0637\u0648\u0631 \u0645\u0624\u062b\u0631 \u0627\u0632 \u0622\u0646\u0647\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0645\u0642\u06cc\u0627\u0633 \u067e\u0630\u06cc\u0631\u06cc \u0648 \u0639\u0645\u0644\u06a9\u0631\u062f<\/strong>: \u062a\u0644\u0627\u0634\u200c\u0647\u0627\u06cc \u062a\u062d\u0642\u06cc\u0642\u0627\u062a\u06cc \u0628\u0631 \u062a\u0648\u0633\u0639\u0647 \u062a\u06a9\u0646\u06cc\u06a9\u200c\u0647\u0627\u06cc\u06cc \u0645\u062a\u0645\u0631\u06a9\u0632 \u062e\u0648\u0627\u0647\u062f \u0628\u0648\u062f \u06a9\u0647 \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u062f \u0645\u0634\u06a9\u0644 \u0627\u0646\u0641\u062c\u0627\u0631 \u0641\u0636\u0627\u06cc \u062d\u0627\u0644\u062a \u0631\u0627 \u0645\u062f\u06cc\u0631\u06cc\u062a \u06a9\u0646\u062f \u0648 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0631\u0627 \u0628\u0631\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0628\u0632\u0631\u06af\u062a\u0631 \u0645\u0642\u06cc\u0627\u0633\u200c\u067e\u0630\u06cc\u0631\u062a\u0631 \u0648 \u06a9\u0627\u0631\u0622\u0645\u062f\u062a\u0631 \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0627\u062f\u063a\u0627\u0645 \u0628\u0627 \u06af\u0631\u062f\u0634 \u06a9\u0627\u0631 \u062a\u0648\u0633\u0639\u0647<\/strong>: \u0627\u0646\u062a\u0638\u0627\u0631 \u0645\u06cc \u0631\u0648\u062f \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0647 \u0637\u0648\u0631 \u06cc\u06a9\u067e\u0627\u0631\u0686\u0647 \u062f\u0631 \u0641\u0631\u0622\u06cc\u0646\u062f\u0647\u0627\u06cc \u062a\u0648\u0633\u0639\u0647 \u0646\u0631\u0645 \u0627\u0641\u0632\u0627\u0631 \u0648 \u0633\u062e\u062a \u0627\u0641\u0632\u0627\u0631 \u0627\u062f\u063a\u0627\u0645 \u0634\u0648\u062f \u0648 \u0627\u0645\u06a9\u0627\u0646 \u062a\u0623\u06cc\u06cc\u062f \u0648 \u062a\u0623\u06cc\u06cc\u062f \u0645\u062f\u0627\u0648\u0645 \u0631\u0627 \u0641\u0631\u0627\u0647\u0645 \u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0631\u0648\u0634\u200c\u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u062f\u0631 \u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc<\/strong>\u0627\u0632 \u0622\u0646\u062c\u0627\u06cc\u06cc \u06a9\u0647 \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc \u062f\u0631 \u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627\u06cc \u0645\u062e\u062a\u0644\u0641 \u062d\u06cc\u0627\u062a\u06cc\u200c\u062a\u0631 \u0645\u06cc\u200c\u0634\u0648\u0646\u062f\u060c \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0646\u0642\u0634\u06cc \u062d\u06cc\u0627\u062a\u06cc \u062f\u0631 \u062a\u0636\u0645\u06cc\u0646 \u0627\u06cc\u0645\u0646\u06cc \u0648 \u0642\u0627\u0628\u0644\u06cc\u062a \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0627\u0644\u06af\u0648\u0631\u06cc\u062a\u0645\u200c\u0647\u0627 \u0648 \u0645\u062f\u0644\u200c\u0647\u0627\u06cc \u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc \u0627\u06cc\u0641\u0627 \u0645\u06cc\u200c\u06a9\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0631\u0648\u06cc\u06a9\u0631\u062f\u0647\u0627\u06cc \u062a\u0631\u06a9\u06cc\u0628\u06cc<\/strong>: \u0645\u062d\u0642\u0642\u0627\u0646 \u062a\u0631\u06a9\u06cc\u0628\u06cc \u0627\u0632 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0631\u0627 \u0628\u0627 \u0633\u0627\u06cc\u0631 \u062a\u06a9\u0646\u06cc\u06a9 \u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f\u060c \u0645\u0627\u0646\u0646\u062f \u0622\u0632\u0645\u0627\u06cc\u0634 \u0648 \u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0627\u0633\u062a\u0627\u062a\u06cc\u06a9\u060c \u0628\u0631\u0631\u0633\u06cc \u062e\u0648\u0627\u0647\u0646\u062f \u06a9\u0631\u062f \u062a\u0627 \u0627\u0632 \u0646\u0642\u0627\u0637 \u0642\u0648\u062a \u0645\u0631\u0628\u0648\u0637\u0647 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0646\u0646\u062f.<\/p>\n<\/li>\n<\/ol>\n<h2>\u0686\u06af\u0648\u0646\u0647 \u0645\u06cc \u062a\u0648\u0627\u0646 \u0627\u0632 \u0633\u0631\u0648\u0631\u0647\u0627\u06cc \u067e\u0631\u0648\u06a9\u0633\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0631\u062f \u06cc\u0627 \u0628\u0627 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0645\u0631\u062a\u0628\u0637 \u0634\u062f.<\/h2>\n<p>\u0633\u0631\u0648\u0631\u0647\u0627\u06cc \u067e\u0631\u0648\u06a9\u0633\u06cc \u0645\u06cc \u062a\u0648\u0627\u0646\u0646\u062f \u0646\u0642\u0634\u06cc \u0631\u0627 \u062f\u0631 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0627 \u0627\u06cc\u0641\u0627\u06cc \u0646\u0642\u0634 \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0648\u0627\u0633\u0637\u0647 \u0628\u06cc\u0646 \u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0648 \u0633\u06cc\u0633\u062a\u0645 \u062f\u0631 \u062d\u0627\u0644 \u062a\u0623\u06cc\u06cc\u062f\u060c \u0627\u06cc\u0641\u0627 \u06a9\u0646\u0646\u062f. \u062f\u0631 \u0627\u06cc\u0646\u062c\u0627 \u0646\u062d\u0648\u0647 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0633\u0631\u0648\u0631\u0647\u0627\u06cc \u067e\u0631\u0627\u06a9\u0633\u06cc \u06cc\u0627 \u0645\u0631\u062a\u0628\u0637 \u0628\u0627 \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0622\u0645\u062f\u0647 \u0627\u0633\u062a:<\/p>\n<ol>\n<li>\n<p><strong>\u0627\u0645\u0646\u06cc\u062a \u0648 \u062d\u0631\u06cc\u0645 \u062e\u0635\u0648\u0635\u06cc<\/strong>: \u0627\u0632 \u0633\u0631\u0648\u0631\u0647\u0627\u06cc \u067e\u0631\u0648\u06a9\u0633\u06cc \u0645\u06cc \u062a\u0648\u0627\u0646 \u0628\u0631\u0627\u06cc \u0627\u0641\u0632\u0627\u06cc\u0634 \u0627\u0645\u0646\u06cc\u062a \u0648 \u062d\u0641\u0638 \u062d\u0631\u06cc\u0645 \u062e\u0635\u0648\u0635\u06cc \u0641\u0631\u0622\u06cc\u0646\u062f \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0631\u062f. \u0628\u0627 \u0639\u0645\u0644 \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u06cc\u06a9 \u0644\u0627\u06cc\u0647 \u0645\u06cc\u0627\u0646\u06cc\u060c \u0622\u0646\u0647\u0627 \u0645\u06cc \u062a\u0648\u0627\u0646\u0646\u062f \u0627\u0632 \u062f\u0627\u062f\u0647 \u0647\u0627\u06cc \u062d\u0633\u0627\u0633 \u0645\u062d\u0627\u0641\u0638\u062a \u06a9\u0631\u062f\u0647 \u0648 \u0627\u0632 \u062f\u0633\u062a\u0631\u0633\u06cc \u0645\u0633\u062a\u0642\u06cc\u0645 \u0628\u0647 \u0633\u06cc\u0633\u062a\u0645 \u062a\u0627\u06cc\u06cc\u062f \u0634\u062f\u0647 \u062c\u0644\u0648\u06af\u06cc\u0631\u06cc \u06a9\u0646\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0623\u06cc\u06cc\u062f \u062a\u0648\u0632\u06cc\u0639 \u0634\u062f\u0647<\/strong>: \u0628\u0631\u0627\u06cc \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u0645\u0642\u06cc\u0627\u0633 \u0628\u0632\u0631\u06af\u060c \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0628\u0647 \u0645\u0646\u0627\u0628\u0639 \u0645\u062d\u0627\u0633\u0628\u0627\u062a\u06cc \u0642\u0627\u0628\u0644 \u062a\u0648\u062c\u0647\u06cc \u0646\u06cc\u0627\u0632 \u062f\u0627\u0634\u062a\u0647 \u0628\u0627\u0634\u062f. \u0627\u0632 \u0633\u0631\u0648\u0631\u0647\u0627\u06cc \u067e\u0631\u0648\u06a9\u0633\u06cc \u0645\u06cc \u062a\u0648\u0627\u0646 \u0628\u0631\u0627\u06cc \u062a\u0648\u0632\u06cc\u0639 \u0628\u0627\u0631 \u06a9\u0627\u0631 \u062a\u0623\u06cc\u06cc\u062f \u062f\u0631 \u0686\u0646\u062f\u06cc\u0646 \u0645\u0627\u0634\u06cc\u0646 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0631\u062f \u0648 \u0631\u0648\u0646\u062f \u0631\u0627 \u0633\u0631\u0639\u062a \u0628\u062e\u0634\u06cc\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0645\u062f\u06cc\u0631\u06cc\u062a \u0645\u0646\u0627\u0628\u0639<\/strong>: \u0633\u0631\u0648\u0631\u0647\u0627\u06cc \u067e\u0631\u0648\u06a9\u0633\u06cc \u0645\u06cc \u062a\u0648\u0627\u0646\u0646\u062f \u062a\u062e\u0635\u06cc\u0635 \u0645\u0646\u0627\u0628\u0639 \u0645\u062d\u0627\u0633\u0628\u0627\u062a\u06cc \u0628\u0647 \u0648\u0638\u0627\u06cc\u0641 \u062a\u0623\u06cc\u06cc\u062f \u0645\u062e\u062a\u0644\u0641 \u0631\u0627 \u0645\u062f\u06cc\u0631\u06cc\u062a \u06a9\u0646\u0646\u062f \u0648 \u0639\u0645\u0644\u06a9\u0631\u062f \u062a\u0623\u06cc\u06cc\u062f \u06a9\u0644\u06cc \u0631\u0627 \u0628\u0647\u06cc\u0646\u0647 \u06a9\u0646\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u0630\u062e\u06cc\u0631\u0647 \u0633\u0627\u0632\u06cc \u0648 \u0634\u062a\u0627\u0628<\/strong>: \u0633\u0631\u0648\u0631\u0647\u0627\u06cc \u067e\u0631\u0648\u06a9\u0633\u06cc \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u0646\u062f \u0646\u062a\u0627\u06cc\u062c \u0648 \u0627\u062b\u0628\u0627\u062a\u200c\u0647\u0627\u06cc \u062a\u0623\u06cc\u06cc\u062f \u0631\u0627 \u062f\u0631 \u062d\u0627\u0641\u0638\u0647 \u067e\u0646\u0647\u0627\u0646 \u0630\u062e\u06cc\u0631\u0647 \u06a9\u0646\u0646\u062f \u0648 \u062f\u0631 \u0635\u0648\u0631\u062a \u062a\u0623\u06cc\u06cc\u062f \u0645\u062c\u062f\u062f \u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627 \u06cc\u0627 \u0645\u062f\u0644\u200c\u0647\u0627\u06cc \u0645\u0634\u0627\u0628\u0647\u060c \u0645\u062d\u0627\u0633\u0628\u0627\u062a \u0627\u0636\u0627\u0641\u06cc \u0631\u0627 \u06a9\u0627\u0647\u0634 \u062f\u0647\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0639\u0645\u0644\u06a9\u0631\u062f \u0633\u0631\u0648\u0631 \u067e\u0631\u0648\u06a9\u0633\u06cc<\/strong>: \u062e\u0648\u062f \u0633\u0631\u0648\u0631\u0647\u0627\u06cc \u067e\u0631\u0648\u06a9\u0633\u06cc \u0645\u06cc \u062a\u0648\u0627\u0646\u0646\u062f \u0628\u0631\u0627\u06cc \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0627\u0632 \u0639\u0645\u0644\u06a9\u0631\u062f \u0648 \u0627\u0645\u0646\u06cc\u062a \u0645\u0646\u0627\u0633\u0628 \u062e\u0648\u062f\u060c \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0634\u0648\u0646\u062f.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0645\u06a9\u0627\u0646\u06cc\u0633\u0645 \u0647\u0627\u06cc \u0627\u0645\u0646\u06cc\u062a\u06cc \u0645\u0628\u062a\u0646\u06cc \u0628\u0631 \u067e\u0631\u0648\u06a9\u0633\u06cc<\/strong>: \u067e\u0631\u0627\u06a9\u0633\u06cc \u0647\u0627 \u0627\u063a\u0644\u0628 \u0645\u06a9\u0627\u0646\u06cc\u0633\u0645 \u0647\u0627\u06cc \u0627\u0645\u0646\u06cc\u062a\u06cc \u0645\u0627\u0646\u0646\u062f \u06a9\u0646\u062a\u0631\u0644 \u062f\u0633\u062a\u0631\u0633\u06cc \u0648 \u0641\u0627\u06cc\u0631\u0648\u0627\u0644 \u0647\u0627 \u0631\u0627 \u067e\u06cc\u0627\u062f\u0647 \u0633\u0627\u0632\u06cc \u0645\u06cc \u06a9\u0646\u0646\u062f. \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0645\u06cc \u062a\u0648\u0627\u0646\u062f \u0635\u062d\u062a \u0627\u06cc\u0646 \u0648\u06cc\u0698\u06af\u06cc \u0647\u0627\u06cc \u0627\u0645\u0646\u06cc\u062a\u06cc \u0631\u0627 \u062a\u0636\u0645\u06cc\u0646 \u06a9\u0646\u062f.<\/p>\n<\/li>\n<\/ol>\n<h2>\u0644\u06cc\u0646\u06a9 \u0647\u0627\u06cc \u0645\u0631\u0628\u0648\u0637\u0647<\/h2>\n<p>\u0628\u0631\u0627\u06cc \u0627\u0637\u0644\u0627\u0639\u0627\u062a \u0628\u06cc\u0634\u062a\u0631 \u062f\u0631 \u0645\u0648\u0631\u062f \u062a\u0627\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc\u060c \u0645\u06cc \u062a\u0648\u0627\u0646\u06cc\u062f \u0628\u0647 \u0645\u0646\u0627\u0628\u0639 \u0632\u06cc\u0631 \u0645\u0631\u0627\u062c\u0639\u0647 \u06a9\u0646\u06cc\u062f:<\/p>\n<ol>\n<li><a href=\"https:\/\/en.wikipedia.org\/wiki\/Formal_methods\" target=\"_new\" rel=\"noopener nofollow\">\u0631\u0648\u0634 \u0647\u0627\u06cc \u0631\u0633\u0645\u06cc \u062f\u0631 \u0648\u06cc\u06a9\u06cc \u067e\u062f\u06cc\u0627<\/a><\/li>\n<li><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-32275-0\" target=\"_new\" rel=\"noopener nofollow\">\u0628\u0631\u0631\u0633\u06cc \u0645\u062f\u0644: \u0627\u0644\u06af\u0648\u0631\u06cc\u062a\u0645 \u0647\u0627 \u0648 \u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627<\/a><\/li>\n<li><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-319-58768-7\" target=\"_new\" rel=\"noopener nofollow\">\u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc: \u06cc\u06a9 \u062c\u0639\u0628\u0647 \u0627\u0628\u0632\u0627\u0631 \u0636\u0631\u0648\u0631\u06cc \u0628\u0631\u0627\u06cc \u0637\u0631\u0627\u062d\u06cc \u0645\u062f\u0631\u0646 VLSI<\/a><\/li>\n<li><a href=\"https:\/\/softwarefoundations.cis.upenn.edu\/lf-current\/index.html\" target=\"_new\" rel=\"noopener nofollow\">\u0645\u0628\u0627\u0646\u06cc \u0646\u0631\u0645 \u0627\u0641\u0632\u0627\u0631 \u2013 \u0645\u0628\u0627\u0646\u06cc \u0645\u0646\u0637\u0642\u06cc<\/a><\/li>\n<\/ol>\n<p>\u062f\u0631 \u0646\u062a\u06cc\u062c\u0647\u060c \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u06cc\u06a9 \u062a\u06a9\u0646\u06cc\u06a9 \u0642\u062f\u0631\u062a\u0645\u0646\u062f \u0627\u0633\u062a \u06a9\u0647 \u06cc\u06a9 \u0631\u0648\u06cc\u06a9\u0631\u062f \u062f\u0642\u06cc\u0642 \u0648 \u0631\u06cc\u0627\u0636\u06cc \u0631\u0627 \u0628\u0631\u0627\u06cc \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0627\u0632 \u0635\u062d\u062a \u0648 \u0642\u0627\u0628\u0644\u06cc\u062a \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0633\u06cc\u0633\u062a\u0645 \u0647\u0627\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647 \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc \u062f\u0647\u062f. \u06a9\u0627\u0631\u0628\u0631\u062f \u0622\u0646 \u062f\u0631 \u062d\u0648\u0632\u0647\u200c\u0647\u0627\u06cc \u062d\u06cc\u0627\u062a\u06cc \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u062f \u0645\u0646\u062c\u0631 \u0628\u0647 \u0627\u0641\u0632\u0627\u06cc\u0634 \u0627\u06cc\u0645\u0646\u06cc\u060c \u0627\u0645\u0646\u06cc\u062a \u0648 \u0642\u0627\u0628\u0644 \u0627\u0639\u062a\u0645\u0627\u062f \u0628\u0648\u062f\u0646 \u0645\u062d\u0635\u0648\u0644\u0627\u062a \u0648 \u062e\u062f\u0645\u0627\u062a\u06cc \u0634\u0648\u062f \u06a9\u0647 \u0631\u0648\u0632\u0627\u0646\u0647 \u0628\u0647 \u0622\u0646\u0647\u0627 \u0627\u0639\u062a\u0645\u0627\u062f \u0645\u06cc\u200c\u06a9\u0646\u06cc\u0645. \u0647\u0645\u0627\u0646\u0637\u0648\u0631 \u06a9\u0647 \u0641\u0646\u0627\u0648\u0631\u06cc \u062a\u06a9\u0627\u0645\u0644 \u0645\u06cc \u06cc\u0627\u0628\u062f\u060c \u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc \u0628\u0647 \u062a\u06a9\u0627\u0645\u0644 \u062e\u0648\u062f \u0627\u062f\u0627\u0645\u0647 \u0645\u06cc \u062f\u0647\u062f \u0648 \u0686\u0627\u0644\u0634 \u0647\u0627\u06cc \u0622\u0646 \u0631\u0627 \u0628\u0631\u0637\u0631\u0641 \u0645\u06cc \u06a9\u0646\u062f \u0648 \u062f\u0627\u0645\u0646\u0647 \u0622\u0646 \u0631\u0627 \u0628\u0647 \u062d\u0648\u0632\u0647 \u0647\u0627\u06cc \u062c\u062f\u06cc\u062f\u06cc \u0627\u0632 \u062a\u0623\u06cc\u06cc\u062f \u0648 \u062a\u0623\u06cc\u06cc\u062f \u06af\u0633\u062a\u0631\u0634 \u0645\u06cc \u062f\u0647\u062f.<\/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\/ir\/wp-json\/wp\/v2\/wiki\/477280","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/oneproxy.pro\/ir\/wp-json\/wp\/v2\/wiki"}],"about":[{"href":"https:\/\/oneproxy.pro\/ir\/wp-json\/wp\/v2\/types\/wiki"}],"version-history":[{"count":0,"href":"https:\/\/oneproxy.pro\/ir\/wp-json\/wp\/v2\/wiki\/477280\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/oneproxy.pro\/ir\/wp-json\/wp\/v2\/media\/468437"}],"wp:attachment":[{"href":"https:\/\/oneproxy.pro\/ir\/wp-json\/wp\/v2\/media?parent=477280"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}