重读的《Handbook of Model Checking》

此本书大一时就被宋老师隆重推荐，当时还有decision procedure、software foundation和熊英飞老师的程序分析部分。