​​В обиходе, слово «формальный» обычно произносится с негативной эмоциональной оценкой: формальное отношение, формализм, формальное выполнение обещаний. Хотя, если задуматься, слово-то «хорошее»: быть «формальным» означает «держать форму». А «держать форму» означает преодолевать энтропию...

Когда речь заходит о создании крупномасштабных и критически важных систем, многие инженеры до сих пор сомневаются: действительно ли формальные методы (formal methods) приносят пользу, оправдывают затраты? Если вы когда-нибудь пытались быстро «вживую» воплотить идею и случайно потратили массу времени на переделку из-за фундаментальных ошибок в дизайне, возможно, ответ уже очевиден: формальные методы помогают экономить время и деньги, даже если поначалу выглядят как «дорогая избыточность». Почему формальные...