Почему можно математически доказать 100% отсутствие багов в программе, ни разу её не запустив? Наука формальной верификации
Tags
2 страницы
Formal-Verification
Теория типов и изоморфизм Карри-Ховарда: Глубокая гармония между Суждениями=Типами и Доказательствами=Программами
