埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 用于符号模型检查的反例引导抽象细化。 （英语） Zbl 1325.68145号 美国临床医学杂志 50，第5期，752-794（2003）. 引用于118文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 关键词：抽象;硬件验证;符号模型检查;时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，J.ACM 50，No.5，752--794（2003；Zbl 1325.68145） 全文： 内政部 参考文献： 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。