Новости о различных уязвимостях программного обеспечения появляются регулярно, к этому все привыкли. Однако одно дело — ошибки в мобильном приложении, а другое — возможная остановка ядерного реактора. Сегодня мы поговорим об истоках проблем с программным обеспечением и возможном способе исправления ситуации, в частности — автоматном программировании.

[![][1]][2] [Читать дальше →][3]

[1]: https://habrastorage.org/files/a97/6e4/3d7/a976e43d78004777b256ce945d134e2f.png
[2]: https://habrahabr.ru/company/spbifmo/blog/323122/
[3]: https://habrahabr.ru/post/323122/?utm_source=habrahabr&utm_medium=rss&utm_campaign=feed_posts#habracut