张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英语) Zbl 07657061号 西奥。计算。科学。 949,文章ID 113702,第28页(2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。949,文章ID 113702,28 p.(2023;Zbl 07657061) 全文: 内政部
宁、新亚;张楠;段振华;田聪 基于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 1497.68322号 西奥。计算。科学。 864, 58-69 (2021).MSC公司:60年第68季度 03B44号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。864,58-69(2021;Zbl 1497.68322) 全文: 内政部
刘,金;段振华;田聪 多匹配嵌套关系。 (英语) Zbl 1477.68157号 西奥。计算。科学。 854, 77-93 (2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,Theor。计算。科学。854,77-93(2021;Zbl 1477.68157) 全文: 内政部
张楠;于斌;田聪;段振华;袁小帅 程序的时序逻辑规范挖掘。 (英语) 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 1506.03070号 西奥。计算。科学。 819, 50-84 (2020).MSC公司:03B44号 03B35型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人,Theor。计算。科学。819、50-84(2020年;Zbl 1506.03070) 全文: 内政部
卢、徐;段振华;田聪;杜洪伟 通过统一模型检查验证堆。 (英语) 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 第68页第20页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,Theor。计算。科学。809430-465(2020年;Zbl 1436.68077) 全文: 内政部 arXiv公司
段振华;田聪;张楠;马,钱;杜洪伟 索引集表达式可以表示时序逻辑公式。 (英语) Zbl 1498.03047号 西奥。计算。科学。 788, 21-38 (2019).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。788,21-38(2019年;Zbl 1498.03047) 全文: 内政部
赵亮;王晓兵;段振华 投影时序逻辑下推系统的模型检查。 (英语) Zbl 1423.68297号 西奥。计算。科学。 774, 82-94 (2019).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人,Theor。计算。科学。774,82-94(2019年;Zbl 1423.68297) 全文: 内政部
田聪;段振华 使用交替投影时序逻辑对开放系统进行模型检查。 (英语) Zbl 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) 全文: 内政部
杨凯;段振华;田聪;张楠 MSVL及其应用程序的编译器。 (英语) Zbl 1407.68096号 西奥。计算。科学。 749, 2-16 (2018).MSC公司:第68页第20页 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Yang}等人,Theor。计算。科学。749,2--16(2018;Zbl 1407.68096) 全文: 内政部
张楠;段振华;田聪 MSVL中的函数调用机制。 (英语) Zbl 1353.68184号 西奥。计算。科学。 654, 11-25 (2016).MSC公司:60年第68季度 68N17号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。654,11--25(2016;Zbl 1353.68184) 全文: 内政部
张楠;段振华;田聪 具有柱面计算模型的命题投影时态逻辑的完整公理系统。 (英语) 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 1332.05024号 西奥。计算。科学。 607,第3部分,391-410(2015).MSC公司:05B15号 65年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。607,第3部分,391--410(2015;Zbl 1332.05024) 全文: 内政部
张楠;段振华;田聪;杜定珠 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 1417.03146号 西奥。计算。科学。 497, 84-107 (2013).MSC公司:03B44号 03B35型 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。497,84-107(2013;Zbl 1417.03146) 全文: 内政部
张楠;段振华;田聪 用于多核并行计算的圆柱体计算模型。 (英语) Zbl 1416.68074号 西奥。计算。科学。 497, 68-83 (2013).MSC公司:2005年第68季度 第68季度10 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。497,68-83(2013;Zbl 1416.68074) 全文: 内政部
田聪;段振华;张楠 模型检查中的一种有效的抽象重定义方法。 (英语) Zbl 1252.68197号 西奥。计算。科学。 461, 76-85 (2012).MSC公司:60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}等人,Theor。计算。科学。461,76-85(2012;Zbl 1252.68197) 全文: 内政部
田聪;段振华 带有星形的命题投影时序逻辑的表达性。 (英语) Zbl 1221.03018号 西奥。计算。科学。 412,第18期,1729-1744(2011).MSC公司:03B44号 03C05号机组 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Theor。计算。科学。412,第18号,1729-1744(2011;Zbl 1221.03018) 全文: 内政部