新墨西哥州希洛夫。 关于指定和验证标准功能的需要。 （英语） 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。 特定领域的转换系统及其在模型编程语言的正式定义中的应用。 （英语） 兹比尔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年；Zbl 1374.68111） 全文： 链接
奇克利亚耶夫，D.A。;Nepomniashchiĭ，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 68M10个 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网的基于实时算法的验证。 （英语） 兹比尔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。;Shilova，S.O。 F@BOOL@内的引导之旅：基于SAT的验证编译器的案例研究。 （英语） Zbl 1374.68109号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 31, 139-154 (2010).MSC公司：68N20型 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年；兹bl 1374.68321） 全文： 链接
安努列夫，I.S。 原子语言简介。 （英语） Zbl 1374.68267号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 31, 1-16 (2010).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛I.S.Anureev｝，Jt。牛市。NCC IIS，序列号。计算。科学。31、1-16（2010年；Zbl 1374.68267） 全文： 链接
新墨西哥州希洛夫。;E.V.博丹。;Shilova，S.O。 神奇的阵列。一： 验证项目F中静态数组的操作和转换语义@BOOL@。 （英语） Zbl 1374.68108号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 29, 119-138 (2009).MSC公司：68N20型 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，序列号。计算。科学。 第2107-117页（2009年）.MSC公司：68甲18 68甲15 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.I.谢列霍夫}，Jt。牛市。NCC IIS，序列号。计算。科学。29107-117（2009年；Zbl 1374.68099） 全文： 链接
A.V.普罗姆斯基。 C程序验证的问题。 （英语） 兹比尔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。;叶夫根尼·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年；兹bl 1249.68027）
施莱纳，P.A。;新墨西哥州希洛夫。;S.O.格雷贝内娃。 SAT与SMV用于超直觉逻辑表属性的自动验证。 （英语） Zbl 1249.03005号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 24, 105-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型 2010年第68季度 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\（\sharp\）程序验证的三级方法。 （英语） 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年；兹bl 1082.68018）
内波米纳希。 数据结构元组上确定迭代的符号验证方法。 （英语） Zbl 1050.68030号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 15, 103-123 (2001).MSC公司：68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛V.A.Nepomniaschy｝，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年；Zbl 1004.68111）
安努列夫，I.S。 基于规范语言SIMPLE的程序验证。 （英语） Zbl 1004.68094号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 15, 1-16 (2001).MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛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。;Okunishnikova，E.V.公司。 使用有色Petri网对Estelle规范进行建模。 （英语） Zbl 0951.68081号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 1998年8月19日至38日. 审核人：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）