大卫·J·皮尔斯。;马克·乌廷;格罗夫斯,林赛 使用Boogie验证Whiley程序。 (英语) Zbl 1512.68059号 J.汽车。推理 66,第4期,747-803(2022).MSC公司:68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pearce}等人,J.Autom。推理66,No.4,747--803(2022;Zbl 1512.68059) 全文: 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 关于模参数位向量的可满足性。 (英语) Zbl 07433026号 J.汽车。推理 65,第7号,1001-1025(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,J.Autom。推理65,No.7,1001--1025(2021;Zbl 07433026) 全文: 内政部
乌尔里希·赫斯塔特;安娜·奥扎基;克莱尔·狄克逊 自然数上逐点度量时间逻辑的定理证明。 (英语) 兹比尔1459.03012 J.汽车。推理 64,第8期,1553-1610(2020).MSC公司:03B35型 03B44号 03B70号 68T40型 68伏15 90B20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,J.Autom。推理64,No.8,1553--1610(2020;Zbl 1459.03012) 全文: 内政部
罗伯托·塞巴斯蒂亚尼;帕特里克·特伦丁 优化数学卫星:优化模理论的工具。 (英语) Zbl 1468.68206号 J.汽车。推理 64,第3号,423-460(2020).MSC公司:68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin},J.Autom。推理64,第3期,423-460(2020年;兹bl 1468.68206) 全文: 内政部
黄成超;徐明;李志斌 多权力约束的冲突驱动解决程序。 (英语) Zbl 1468.68202号 J.汽车。推理 64,第1号,1-20(2020).MSC公司:68T20型 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人,J.Autom。推理64,No.1,1--20(2020;Zbl 1468.68202) 全文: 内政部
吴义钦;瓦苏马提·拉曼;布莱克·罗林斯。;圣菲拉福顿;Sanjit A.Seshia。 模糊处理策略的综合,以确保隐私和实用性。 (英语) Zbl 1426.68085号 J.汽车。推理 60,第1期,107-131(2018).MSC公司:68第27页 65年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-C.Wu}等人,J.Autom。推理60,No.1,107--131(2018;Zbl 1426.68085) 全文: 内政部 链接
安德烈·普拉泽 微分动态逻辑的完全统一代换演算。 (英语) Zbl 1437.03119号 J.汽车。推理 59,第2期,219-265(2017).MSC公司:03B70号 03B35型 68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。推理59,第219-265号(2017年;兹bl 1437.03119) 全文: 内政部 arXiv公司
卡姆莱什·戈什;帕拉布·达斯古普塔;拉梅什,S。 自动化规划作为分布式控制的早期验证工具。 (英语) Zbl 1315.68178号 J.汽车。推理 54,第1期,31-68(2015).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Ghosh}等人,J.Autom。推理54,No.1,31--68(2015;Zbl 1315.68178) 全文: 内政部
丹尼尔·祖切利;恩里卡·尼科里尼 无限状态系统模型检验的可判定性结果。 (英语) Zbl 1279.68226号 J.汽车。推理 48,第1号,1-42(2012).MSC公司:60年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zucchelli}和\textit{E.Nicolini},J.Autom。推理48,No.1,1--42(2012;Zbl 1279.68226) 全文: 内政部
潘国强;莫舍·瓦尔迪。 可满足性求解中的符号技术。 (英语) Zbl 1109.68104号 J.汽车。推理 35,编号1-3,25-50(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Pan}和\textit{M.Y.Vardi},J.Autom。推理35,No.1-3,25-50(2005;Zbl 1109.68104) 全文: 内政部