北京大学自动机理论语言和计算导论研究生课程2015-2016,金芝老师任课,并附《ModelChecking》一书英文版。