程序验证经典《Principles of Model Checking》
Ourgrowingdependenceonincreasinglycomplexcomputerandsoftwaresystemsnecessitatesthedevelopmentofformalisms,techniques,andtoolsforassessingfunctionalpropertiesofthesesystems.Onesuchtechniquethathasemergedinthelasttwentyyearsismodelchecking,whichsystematically(a
下载地址
用户评论
写论文的时候正好引用了里面的内容，好资源。