> -- Дмитрий Дагаев писал(а):
> Я знаю, я в курсе АСУТП, но как разработчик я никаких гарантий не дам, до тех пор, пока мне не докажут каждую строчку кода.Верификация посредством тестирования доказательством корректности не является.
В тех краях как раз компилятор выдаёт программы только после базовой верификации и гарантирует начальную достижимость. Здесь уточнения:
viewtopic.php?f=152&t=6126#p102120