Cameleer: инструмент дедуктивной проверки для OCaml От социальных сетей до освоения космоса программное обеспечение является основой, благодаря которой наш мир функционирует. Но откуда мы знаем, что программному обеспечению можно доверять? Доктор Марио Перейра из Школы науки и технологий Нова в Лиссабоне и его сотрудники разработали Cameleer, программный инструмент для формальной проверки написанного на OCaml кода, который устанавливает математическое доказательство того, что система..

Это было написано для моей кампании Patreon, непрерывного спонсируемого краудфандинга, чтобы поддержать меня в написании серьезных статей, подобных этой, а также более причудливых историй об историческом использовании криков в верхнем регистре и секретах капсул времени. Вы можете стать спонсором! Если вам интересно, есть ли реальная выгода от проверки в Твиттере, кроме заметной синей галочки, то она есть! В предпочтении временной шкалы уведомлений скрыта опция, которая раньше..