伯恩德·芬克贝纳；尼古拉斯·梅茨格；摩西，约拉姆 信息流引导合成。 （英语） Zbl 1514.68130号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 505-525 (2022).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。13372、505--525（2022年；Zbl 1514.68130） 全文： 内政部 arXiv公司
埃齐奥·巴托西；托马斯·费雷尔；托马斯·亨辛格（Thomas A.Henzinger）。；德扬·尼科维奇；Oliveira da Costa，安娜 顺序信息流的味道。 （英语） Zbl 1498.68151号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 1-19 (2022).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Lect。注释计算。科学。13182，1-19（2022；Zbl 1498.68151） 全文： 内政部
奥哈德·古德米德；奥尔纳·格伦伯格；莎莱·申瓦尔德 多属性的组合模型检查。 （英语） Zbl 1472.68089号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 55-80 (2021).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Goudsmid}等人，Lect。注释计算。科学。12597，55-80（2021；Zbl 1472.68089） 全文： 内政部
安德烈·波佩斯库；彼得·兰米奇；侯萍 CoCon：正式验证文件机密性的会议管理系统。 （英语） Zbl 07356975号 J.汽车。推理 65，编号2，321-356（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛A.Popescu｝等人，J.Autom。推理65，No.2，321--356（2021；Zbl 07356975） 全文： 内政部
伯恩德·芬克贝纳；克里斯托弗·哈恩；菲利普·卢克特；马文·斯坦格；Leander Tentrup公司 超属性合成。 （英语） Zbl 1435.68194号 学报信息。 57，编号1-2，137-163（2020）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛B.Finkbeiner｝等人，《信息学报》第57期，第1期，第2期，第137-163期（2020年；兹bl 1435.68194） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳；克里斯托弗·哈恩；马文·斯坦格；Leander Tentrup公司 监控超属性。 （英语） Zbl 1425.68254号 形式方法系统。设计。 54，第3号，336-363（2019）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，《形式方法系统》。设计。54，第3号，336--363（2019；Zbl 1425.68254） 全文： 内政部 arXiv公司
玛丽亚姆·达巴奇安；穆罕默德·阿卜杜拉希·阿兹戈米 使用PROMELA和SPIN检查观测确定性安全性的模型。 （英语） Zbl 1347.68222号 正式Asp。计算。 27，编号5-6，789-804（2015）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Dabaghchian}和\textit{M.Abdollahi Azgomi}，正式Asp。计算。27、编号5--6、789--804（2015；Zbl 1347.68222） 全文： 内政部