新墨西哥州希洛夫。 关于指定和验证标准功能的需要。 (英语) Zbl 1374.68117号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 38, 105-119 (2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \文本{N.V.Shilov},Jt。牛市。NCC IIS,序列号。计算。科学。38、105-119(2015;Zbl 1374.68117) 全文: 链接
新墨西哥州希洛夫。;Aizhan Satekbayeva公司;沃龙佐夫,A.P。 简单命令式语言的别名演算和可判定指针算法。 (英语) Zbl 1374.68118号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 37, 131-147 (2014).MSC公司:68号30 03B70号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}等人,Jt。牛市。NCC IIS,序列号。计算。科学。37131-147(2014年;Zbl 1374.68118) 全文: 链接
奇克利亚耶夫,D.A。;内波尼亚希奇,V.A。 [德米特里·奇克利亚耶夫] 抽象寄存器机的任意大小数组中搜索程序的演绎形式验证。 (英语) Zbl 1374.68276号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 37, 71-91 (2014).MSC公司:60年第68季度 2005年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Chkliaev}和\textit{V.A.Neponiashchi,Jt。牛市。NCC IIS,序列号。计算。科学。37、71——91(2014年;Zbl 1374.68276) 全文: 链接
安努列夫,I.S。 特定领域的转换系统及其在模型编程语言的正式定义中的应用。 (英语) Zbl 1374.68111号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 37, 23-39 (2014).MSC公司:68号30 68问题55 68问题85 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。37,23-39(2014年;兹bl 1374.68111) 全文: 链接
奇克利亚耶夫,D.A。;内波尼亚希奇,V.A。 [德米特里·奇克利亚耶夫] 抽象寄存器机程序的形式验证。 (英语) Zbl 1374.68275号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 35, 39-56 (2013).MSC公司:60年第68季度 2005年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Chkliaev}和\textit{V.A.Neponiashchi,Jt。牛市。NCC IIS,序列号。计算。科学。35、39-56(2013年;Zbl 1374.68275) 全文: 链接
新墨西哥州希洛夫。 统一动态编程设计模式。 (英语) Zbl 1374.68116号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 34, 135-155 (2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \文本{N.V.Shilov},Jt。牛市。NCC IIS,序列号。计算。科学。34、135——155(2012年;Zbl 1374.68116) 全文: 链接
安努列夫,I.S。;玛丽亚索夫,伊利亚;内波尼亚希奇,V.A。 C-light程序在安全逻辑方面的两级混合验证方法。 (英语) Zbl 1374.68269号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 34, 23-42 (2012).MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev}等人,Jt。牛市。NCC IIS,序列号。计算。科学。34、23-42(2012年;Zbl 1374.68269) 全文: 链接
安努列夫,I.S。 特定于项目的过渡系统。 (英语) Zbl 1374.68110号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 34, 1-21 (2012).MSC公司:68号30 68问题55 68问题85 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。34、1--21(2012年;Zbl 1374.68110) 全文: 链接
奇克利亚耶夫,D.A。;尼泊尔人。 经典滑动窗口协议的规范和验证。 (英语) Zbl 1374.68048号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 32, 37-56 (2011).MSC公司:68个M12 68米10 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Chkliaev}和\textit{V.A.Nepominaschy},Jt。牛市。NCC IIS,序列号。计算。科学。32、37-56(2011年;Zbl 1374.68048) 全文: 链接
安努列夫,I.S。 分析和验证命令程序的综合方法。 (英语) Zbl 1374.68268号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 32, 1-18 (2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。32、1-18(2011年;Zbl 1374.68268) 全文: 链接
Virbitskaite,I.B.公司。;汉斯·弗利什哈克;安娜·德多娃 带参数的优先时间Petri网的基于实时算法的验证。 (英语) Zbl 1374.68345号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 179-193 (2010).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}等人,Jt。牛市。NCC IIS,序列号。计算。科学。31179--193(2010年;Zbl 1374.68345) 全文: 链接
新墨西哥州希洛夫。;E.V.博丹。;希洛娃,S.O。 F@BOOL@内的引导之旅:基于SAT的验证编译器的案例研究。 (英语) Zbl 1374.68109号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 139-154 (2010).MSC公司:第68页第20页 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}等人,Jt。牛市。NCC IIS,序列号。计算。科学。31139--154(2010年;Zbl 1374.68109) 全文: 链接
A.V.普罗姆斯基。 C内核的错误跟踪公理语义。 (英语) Zbl 1374.68115号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 123-138 (2010).MSC公司:68号30 03B70号 68甲19 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Promsky},Jt。牛市。NCC IIS,序列号。计算。科学。31123--138(2010年;Zbl 1374.68115) 全文: 链接
Bozhenkova,E.N。 表征时间事件结构的合成方法。 (英语) Zbl 1374.68321号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 45-64 (2010).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.N.Bozhenkova},Jt。牛市。NCC IIS,序列号。计算。科学。31、45-64(2010年;Zbl 1374.68321) 全文: 链接
安努列夫,I.S。 原子语言简介。 (英语) Zbl 1374.68267号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 2010年1月31日至16日.MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。31,1-16(2010年;兹bl 1374.68267) 全文: 链接
新墨西哥州希洛夫。;E.V.博丹。;希洛娃,S.O。 神奇的阵列。一: 验证项目F中静态数组的操作和转换语义@BOOL@。 (英语) Zbl 1374.68108号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 29, 119-138 (2009).MSC公司:第68页第20页 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}等人,Jt。牛市。NCC IIS,序列号。计算。科学。29、119--138(2009年;Zbl 1374.68108) 全文: 链接
谢列霍夫,V.I。 可计算谓词演算语言作为函数语言的最小内核。 (英语) Zbl 1374.68099号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 29, 107-117 (2009).MSC公司:68甲18 68甲15 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.I.谢列霍夫},Jt。牛市。NCC IIS,序列号。计算。科学。2107-117(2009年;兹bl 1374.68099) 全文: 链接
A.V.普罗姆斯基。 C程序验证的问题。 (英语) Zbl 1374.68297号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 29, 89-105 (2009).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Promsky},Jt。牛市。NCC IIS,序列号。计算。科学。29、89——105(2009年;Zbl 1374.68297) 全文: 链接
Anureev,Igor S。 C程序验证的三阶段方法。 (英语) Zbl 1249.68026号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 28, 1-29 (2008).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。28、1-29(2008;Zbl 1249.68026)
阿列克谢·波姆斯基。 C#-light项目:一些验证挑战的解决方案。 (英语) Zbl 1249.68036号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 26, 111-132 (2007).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Promsky},Jt。牛市。NCC IIS,序列号。计算。科学。26、111--132(2007年;Zbl 1249.68036)
Anureev,Igor S。;Evgeny V.博丹。;尼古拉·希洛夫五世。 非确定性非结构化程序验证条件的有效生成。 (英语) Zbl 1249.68027号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 26, 39-63 (2007).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev}等人,Jt。牛市。NCC IIS,序列号。计算。科学。26、39——63(2007年;Zbl 1249.68027)
施莱纳,P.A。;新墨西哥州希洛夫。;S.O.格雷贝内娃。 SAT与SMV用于超学费逻辑的表格属性的自动验证。 (英语) 兹比尔1249.03005 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 24105-117(2006年).MSC公司:03B35型 03B55号 03B70号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Schreiner}等人,Jt。牛市。NCC IIS,序列号。计算。科学。24、105-117(2006;Zbl 1249.03005)
新墨西哥州希洛夫。 在阿瑟·普赖尔(Arthur Prior)的家中为命题线性时序逻辑设计了类似于表格的公理化。 (英语) Zbl 1249.68110号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 23, 113-136 (2005).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{N.V.Shilov},Jt。牛市。NCC IIS,序列号。计算。科学。23、113--136(2005年;Zbl 1249.68110)
内波米纳希。 改变数据结构元组上确定迭代的符号验证方法。 (英语) Zbl 1249.68044号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 23, 85-99 (2005).MSC公司:68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepominaschy},Jt。牛市。NCC IIS,序列号。计算。科学。23、85-99(2005年;Zbl 1249.68044)
I.V.塔拉修克。 概率(τ)互模拟等价物的逻辑特征。 (英语) Zbl 1090.68073号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 97-111 (2004).MSC公司:68问题85 60K20码 60J20型 第68季度10 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk},Jt。牛市。NCC IIS,序列号。计算。科学。20,97--111(2004;Zbl 1090.68073)
Nepomnyashchij,V.A。;安努列夫,I.S。;杜布拉诺夫斯基,I.V。;普罗姆斯基,A.V。 C程序验证的三级方法。 (英语) Zbl 1090.68023号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 61-85 (2004).MSC公司:68号30 68甲15 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}等人,Jt。牛市。NCC IIS,序列号。计算。科学。20、61-85(2004年;Zbl 1090.68023)
库兹明,E.V。;新墨西哥州希洛夫。;索科洛夫,V.A。 结构良好的转换系统中的模型检验演算。 (英语) Zbl 1090.68068号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 49-59 (2004).MSC公司:60年第68季度 68问题85 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Kuz'min}等人,Jt。牛市。NCC IIS,序列号。计算。科学。20、49-59(2004年;Zbl 1090.68068)
安努列夫,I.S。 统一语义语言:句法、语义和语用。 (英语) Zbl 1082.68018号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 20, 1-30 (2004).MSC公司:68号30 68甲15 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。20、1--30(2004;Zbl 1082.68018)
内波米纳希。 数据结构元组上确定迭代的符号验证方法。 (英语) Zbl 1050.68030号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 15, 103-123 (2001).MSC公司:68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepominaschy},Jt。牛市。NCC IIS,序列号。计算。科学。15、103——123(2001年;Zbl 1050.68030)
科祖拉,V.E。 基于网络展开的有色Petri网LTL模型检验。 (英语) Zbl 1004.68111号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 15, 83-101 (2001).MSC公司:68问题85 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{V.E.Kozura},Jt。牛市。NCC IIS,序列号。计算。科学。15,83-101(2001年;兹bl 1004.68111)
安努列夫,I.S。 基于SIMPLE规范语言的程序验证。 (英语) Zbl 1004.68094号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 15, 1-16 (2001).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。15、1-16(2001年;Zbl 1004.68094)
埃米利亚诺夫,P.G。 平等关系分析:证据和示例。 (英语) Zbl 0951.68082号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 11, 15-38 (1999). 审核人:M.F.穆尔济纳(新西伯利亚) MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{P.G.Emelianov},Jt。牛市。NCC IIS,序列号。计算。科学。11、15--38(1999;Zbl 0951.68082)
楚里娜,T.G。;奥库尼什尼科娃,E.V。 使用有色Petri网对Estelle规范进行建模。 (英语) Zbl 0951.68081号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 8, 19-38 (1998). 审核人:V.F.穆尔济纳(新西伯利亚) MSC公司:60年第68季度 68个M12 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.G.Churina}和\textit{E.V.Okunshnikova},Jt。牛市。NCC IIS,序列号。计算。科学。8、19-38(1998年;Zbl 0951.68081)
Virbitskajte,I.B。;E.A.波科齐。 时间Petri网的模型检查。 (英语) Zbl 0937.68085号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 7, 85-93 (1997). 审核人:V.F.穆尔济纳(新西伯利亚) MSC公司:60年第68季度 2005年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskajte}和\textit{E.A.Pokozy},Jt。牛市。NCC IIS,序列号。计算。科学。7、85-93(1997年;Zbl 0937.68085)