Обговорення:Формальні методи

Ця стаття є частиною Проєкту:Комп'ютерні науки (рівень: невідомий)
	Мета проєкту — створення якісних та інформативних статей на теми, пов'язані з інформатикою і комп'ютерними науками. Ви можете покращити цю статтю, відредагувавши її, а на сторінці проєкту вказано, чим ще можна допомогти. Учасники проєкту будуть вам вдячні.
???	Цю статтю ще ніхто не оцінив за шкалою оцінок статей Проєкту:Комп'ютерні науки.
	Чим допомогти:

Частина цієї статті містить текст, перекладений зі статті «Formal methods» з англійської Вікіпедії.