丹尼尔·迪特施；马蒂亚斯·海兹曼；文森特·兰根菲尔德；安德烈亚斯·波德尔斯基 公平模理论：LTL软件模型检查的新方法。 （英文） Zbl 1381.68157号 Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：查姆：施普林格（ISBN 978-3-319-21689-8/pbk；978-3-3169-21690-4/电子书）。计算机科学讲义9206，49-66（2015）。MSC公司：60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛D.Dietsch｝等人，Lect。注释计算。科学。9206,49-66（2015；Zbl 1381.68157） 全文： 内政部
阿伦德·伦辛克 模型检查量化计算树逻辑。 （英文） Zbl 1151.68489号 Baier，Christel（编辑）等人，CONCUR 2006–并发理论。2006年8月27日至30日，德国波恩，2006年第17届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137110-125（2006）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink}，莱克特。注释计算。科学。4137110-125（2006年；兹比尔1151.68489） 全文： 内政部 链接
萨加·查基；埃德蒙·克拉克；约尔·瓦克宁；娜塔莎·莎莉吉娜；尼尚·辛哈 使用状态、事件和死锁进行并发软件验证。 （英文） Zbl 1103.68609号 正式Asp。计算。 17，第4期，461-483（2005）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，《正式Asp》。计算。17，第4号，461--483（2005；Zbl 1103.68609） 全文： 内政部
海克·卫尔海姆 验证重用的切片技术。 （英文） 兹比尔1079.68061 西奥。计算。科学。 343，编号3，509-528（2005）.MSC公司：60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \文本{H.Wehrheim}，Theor。计算。科学。343，第3号，509--528（2005；Zbl 1079.68061） 全文： 内政部
安东内拉·桑顿；吉利奥拉·瓦格利尼 Java字节码时态模型检查的本地方法。 （英文） Zbl 1068.68082号 J.计算。系统。科学。 70，第258-281号（2005年）.MSC公司：60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini}，J.Compute。系统。科学。70，第2号，258--281（2005；Zbl 1068.68082） 全文： 内政部
克劳斯·哈维隆德；格里高·罗什乌 运行时验证工具Java PathExplorer的概述。 （英文） Zbl 1073.68549号 形式方法系统。设计。 24，第2期，189-215（2004）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{G.Rošu}，《形式方法系统》。设计。24，第2号，189--215（2004；Zbl 1073.68549） 全文： 内政部
凯伦·约拉夫；奥尔纳·格伦伯格 序列程序的语法导向模型检查。 （英文） Zbl 1008.68075号 J.日志。阿尔盖布。程序。 52-53, 129-162 (2002).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛K.Yorav｝和\textit｛O.Grumberg｝，J.日志。阿尔盖布。程序。52-53、129-162（2002年；Zbl 1008.68075） 全文： 内政部