Если вы, как и я, прошли через такие термины, как «формальные методы» / «верификация программы» / «формальная верификация» во времена бакалавриата информатики, но не знали об интересных исследованиях, проводимых в этой области, то вы можете хотите следовать этому письму, чтобы начать работу с этой конкретной областью информатики и логики. Это вводная статья по этой теме (которая будет состоять из других частей), а также моя первая работа на Medium! Я предполагаю, что вы знакомы с..