...symbolic model checking, heuristic search, data abstractions, model approximations. [gap=359]关键词：形式验证，符号模型检测，启发式搜索，数据抽象，模型近似。
基于56个网页-相关网页
符号模型检验(Symbolic Model checking)是时序逻辑模型检验的技术一种具体方法，它使用一种更为有效的“符号”的方法来表示被检验系统，因而可以处理更大规模的系统。
基于44个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress