Проверка корректности программы. Формальные методы проверки правильности программ. Назовите Формальные методы проверки правильности программ.. Методы доказательства правильности программ. Виды корректности программ. Корректность текстов программ. Как определить корректность работы устройств?