Model Checking Trace-Based Information Flow Properties
Model Checking and Artificial Intelligence
Model Checking Software
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)
Model Checking Software
Model Checking Software
Model Checking and Artificial Intelligence
Symbolic Model Checking
SPIN Model Checking and Software Verification
Principles of Model Checking
25 Years of Model Checking
Handbook of Model Checking
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Verification, Model Checking, and Abstract Interpretation
验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio