宁、新亚;张楠;段振华;田聪 基于LNFG的PPTL规范挖掘。 (英语) Zbl 07605947号 西奥。计算。科学。 937, 85-95 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Ning}等人,Theor。计算。科学。937,85-95(2022;Zbl 07605947) 全文: 内政部
张楠;于斌;田聪;段振华;袁小帅 程序的时序逻辑规范挖掘。 (英语) Zbl 1477.68168号 西奥。计算。科学。 857, 29-42 (2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。857,29-42(2021;Zbl 1477.68168) 全文: 内政部
卢、徐;段振华;田聪;杜洪伟 通过统一的模型检查验证堆。 (英语) Zbl 1464.68209号 西奥。计算。科学。 819, 35-49 (2020).MSC公司:60年第68季度 03B44号 03B70号 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}等人,Theor。计算。科学。819、35-49(2020年;Zbl 1464.68209) 全文: 内政部
张楠;段振华;田聪;杜洪伟 一种验证程序上下文无关属性的新方法。 (英语) Zbl 1436.68200号 西奥。计算。科学。 809, 519-530 (2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。809519-530(2020年;Zbl 1436.68200) 全文: 内政部
王蒙;田聪;张楠;段振华;姚晨光 将Xd-C程序转换为MSVL程序。 (英语) Zbl 1436.68077号 西奥。计算。科学。 809, 430-465 (2020).MSC公司:68甲15 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,Theor。计算。科学。809430-465(2020年;Zbl 1436.68077) 全文: 内政部 arXiv公司
段振华;田聪;张楠;马,钱;杜洪伟 索引集表达式可以表示时序逻辑公式。 (英语) 兹比尔1498.03047 西奥。计算。科学。 788, 21-38 (2019).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。788,21-38(2019年;Zbl 1498.03047) 全文: 内政部
田聪;段振华 使用交替投影时序逻辑对开放系统进行模型检查。 (英语) 兹比尔1423.68293 西奥。计算。科学。 774,65-81(2019).MSC公司:60年第68季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Theor。计算。科学。774,65-81(2019年;Zbl 1423.68293) 全文: 内政部
Yang,Kai(杨凯);段振华;田聪;张楠 MSVL及其应用程序的编译器。 (英语) Zbl 1407.68096号 西奥。计算。科学。 749, 2-16 (2018).MSC公司:68N20型 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Yang}等人,Theor。计算。科学。749,2--16(2018;Zbl 1407.68096) 全文: 内政部
施、雅;田聪;段振华;周梦初 使用MSVL对Petri网进行模型检查。 (英语) Zbl 1427.68210号 信息科学。 363, 274-291 (2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shi}等人,《信息科学》。363274-291(2016年;Zbl 1427.68210) 全文: 内政部
刘、姚;段振华;田聪;崔斌 线性时间微积分在有限迹上的可满足性。 (英语) Zbl 1476.68178号 Dinh,Thang N.(编辑)等,《计算与组合学》。2016年8月2-4日,第22届国际会议,2016年COCOON,越南胡志明市。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9797, 611-622 (2016).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人,Lect。票据计算。科学。9797611--622(2016;Zbl 1476.68178) 全文: 内政部
张楠;段振华;田聪 具有柱面计算模型的命题投影时态逻辑的完整公理系统。 (英语) Zbl 1332.68145号 西奥。计算。科学。 609,第3部分,639-657(2016).MSC公司:60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。609,第3部分,639--657(2016;Zbl 1332.68145) 全文: 内政部
段振华;田聪;张楠 命题投影时序逻辑的基于规范形式的决策过程和模型检查方法。 (英语) Zbl 1370.68200号 西奥。计算。科学。 609,第3部分,544-560(2016). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。609,第3部分,544--560(2016;Zbl 1370.68200) 全文: 内政部
王海阳;段振华;田聪 交替投影时序逻辑的符号模型检查。 (英语) Zbl 1473.68108号 Lu,Zaixin(编辑)等,组合优化与应用。第九届国际会议,COCOA 2015,美国德克萨斯州休斯顿,2015年12月18-20日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9486481-495(2015年)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wang}等人,Lect。票据计算。科学。9486、481--495(2015;Zbl 1473.68108) 全文: 内政部
罗玲;段振华;田聪;王晓兵 从p-(\pi)到MSVL的结构转换。 (英语) Zbl 1315.68182号 J.库姆。最佳方案。 29,第1期,308-329(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Luo}等人,J.Comb。最佳方案。29,编号1308-329(2015;兹bl 1315.68182) 全文: 内政部
田聪;段振华;杨梦飞 通过NFG从PLTL转换为自动化。 (英语) Zbl 1319.68144号 J.库姆。最佳方案。 29,第2期,406-417(2015).MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}等人,J.Comb。最佳方案。29,第2号,406--417(2015;Zbl 1319.68144) 全文: 内政部
于斌;段振华;田聪 红绿灯控制系统的有界模型检验。 (英语) Zbl 1351.68169号 薛进云(编辑)等,第六届软件工具支持理论利用国际研讨会论文集(TTSS 2013),中国南昌,2013年10月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记309,63-74,仅电子版(2014)。MSC公司:60年第68季度 03B44号 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Yu}等人,《电子》。注释Theor。计算。科学。309、63-74(2014年;Zbl 1351.68169) 全文: 内政部
张楠;段振华;田聪;杜定珠 PPTL公理系统中截止期驱动调度器的形式化证明。 (英语) Zbl 1360.68771号 西奥。计算。科学。 554, 229-253 (2014).MSC公司:68吨15 03B44号 68平方米 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。554229-253(2014年;Zbl 1360.68771) 全文: 内政部
段振华;田聪 具有无限模型的命题投影时序逻辑的实用决策过程。 (英语) Zbl 1358.68188号 西奥。计算。科学。 554, 169-190 (2014).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}和\textit{C.Tian},Theor。计算。科学。554169-190(2014年;兹比尔1358.68188) 全文: 内政部
张楠;段振华;田聪 用于多核并行计算的圆柱体计算模型。 (英语) Zbl 1416.68074号 西奥。计算。科学。 497, 68-83 (2013).MSC公司:2005年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。497,68-83(2013;Zbl 1416.68074) 全文: 内政部
段振华;马,钱;田聪;张楠 PPTL中的一些定点问题。 (英语) Zbl 1391.03018号 刘志明(主编)等,《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051151-165(2013)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Lect。票据计算。科学。8051,151--165(2013;Zbl 1391.03018) 全文: 内政部
田聪;段振华 带有星形的命题投影时序逻辑的表达性。 (英语) Zbl 1221.03018号 西奥。计算。科学。 412,第18期,1729-1744(2011).MSC公司:03B44号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Theor。计算。科学。412,编号181729-1744(2011年;兹bl 1221.03018) 全文: 内政部
田聪;段振华 关于结巴变异PLTL的注释。 (英语) Zbl 1214.03015号 信息处理。莱特。 109,第13号,663-667(2009).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Inf.过程。莱特。109,编号13,663--667(2009;Zbl 1214.03015) 全文: 内政部
田聪;段振华 带有星形的命题投影时序逻辑的复杂性。 (英语) Zbl 1161.03008号 数学。结构。计算。科学。 19,第1期,73-100(2009).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},数学。结构。计算。科学。19,第1号,73-100(2009年;兹bl 1161.03008) 全文: 内政部