Что в 2020 стоит читать нублолам про формальную верификацию? Стоит ли бежать за толпой и дрочить на TLA⁺/PlusCal? Вымирают ли агды да идрисы с петухами? Где я мог наткнуться на ATS и какого чёрта его название засело у меня в голове? Почему Microsoft Research пилит аж два прувера? Ну и всё такое.