Максим Игоревич Державин сидел у окна бара на двадцать пятом этаже и рассеянно водил пальцем по мокрому следу от бокала. За стеклом разливался внизу вечерний город: фары тянулись светящимися нитями, по крышам ползли отблески реклам, небо медленно темнело. В баре играла приглушённая музыка, пахло дорогим табаком и обжаренным мясом из кухни. — Ну, за успех, — сказал Максим Игоревич и поднял бокал янтарного напитка. — Завтра всё подпишем, и можно будет, наконец, выдохнуть. Напротив, откинувшись в кресле, сидел его давний партнёр и друг, Игорь Семёнович...

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