Наконец-то смог вырваться из плотного рабочего графика, вернуться к каналу и вместе с тем попробовать изучить что-то новое, а именно - формальную верификацию. В связи с этим очень кстати оказался грядущий курс Антона Трунова, который будет проходить в ближайший четверг. Давно являюсь поклонником тестирования свойств (e.g. scalacheck), но теперь надеюсь получить более фундаментальные знания в этой и смежных областях.