yesokwolf

图的遍历（南京理工大学--课件）

软件测试方法和技术讲义，我从头到尾详细看了，感觉不错，推荐给大家！

-Model Checking-Model

principles_of_model_checking一本很好的模型检测的书，我很仔细的看了。希望对大家有帮助！

LOGIC IN COMPUTER SCIENCE 一本关于计算机测试的基础资料。希望大家喜欢。 Recent years have seen the development of powerful tools for verifying hardware and software systems