Handbook of Model Checking

按需翻阅：符号模型检测、SAT-based 方法、软件/硬件案例。作为「地图」比作为「教材」更合适。

← 返回 Books