Разширен семинар по програмиране 2014/2015

Виктория Христова заедно с двама колеги изяви желание да пише верификатор на Go и в тази връзка ме пита за книги за автоматична верификация. Попадал съм на две по-практически ориентирани, макар и дебели, книжки по въпроса:
Ако човек се разтърси, лесно може да ги намери в електронен вид. Ще ги прегледам, за да видя какво си струва да се чете и ще пиша пак.