A Model-Checking Tool with Non-Trivial Data Structures

• 带复杂数据结构的模型检测工具