Khoroshilov，A.V.公司。 验证单个跟踪语义中多级模型的符合性。 （英语） Zbl 1485.68152号 程序。计算。柔和。 47，编号7，515-521（2021）.MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Khoroshilov}，程序。计算。柔和。47，编号7，515--521（2021；Zbl 1485.68152） 全文： 内政部
Mandrykin，M.U。；Khoroshilov，A.V.公司。 C程序演绎验证的区域分析。 （英语。俄文原件） Zbl 1452.68051号 程序。计算。柔和。 42，第5期，257-278（2016）; 译自Programmirovanie 42，No.5，3-29（2016）。MSC公司：68号30 68甲15 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.U.Mandrykin｝和\textit｛A.V.Khoroshilov｝，程序。计算。柔和。42，第5号，257--278（2016；Zbl 1452.68051）；译自Programmirovanie 42，No.5，3--29（2016） 全文： 内政部
斯梅扬斯基，R.L。 分布式计算系统随时间运行的模型。 （英语。俄文原件） Zbl 1311.68033号 程序。计算。柔和。 39，第5号，233-241（2013）; 译自Programmirovanie 39，No.5（2013）。MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Smelyansky}，程序。计算。柔和。39，No.5，233--241（2013；Zbl 1311.68033）；译自Programmirovanie 39，No.5（2013） 全文： 内政部
伯多诺夫，I.B。；科萨切夫，A.S。 IOCO规范完成。 （英语。俄文原件） Zbl 1242.68152号 程序。计算。柔和。 37，第1期，第1-14页（2011年）; 译自Programmirovanie 37，No.1（2011）。MSC公司：60年第68季度 68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Bourdonov}和\textit{A.S.Kossatchev}，程序。计算。柔和。37、第1号、第1-14号（2011；Zbl 1242.68152）；译自Programmirovanie 37，No.1（2011） 全文： 内政部
伯多诺夫，I.B。；科萨切夫，A.S。 拒绝、分歧和破坏的交互语义。 （英语。俄文原件） Zbl 1251.68077号 程序。计算。柔和。 36，第5期，247-263（2010）; 翻译自Programmirovanie 36，第5期（2010年）。MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Bourdonov}和\textit{A.S.Kossatchev}，程序。计算。柔和。36，第5号，247--263（2010；Zbl 1251.68077）；译自Programmirovanie 36，No.5（2010） 全文： 内政部
新墨西哥州希洛夫。；安努列夫，I.S。；E.V.博丹。 为命令式程序生成正确性条件。 （英语。俄文原件） 兹比尔1185.68424 程序。计算。柔和。 34，第6号，307-321（2008）; 译自Programmirovanie 34，No.6（2008）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}等人，《程序》。计算。柔和。34，第6号，307--321（2008；Zbl 1185.68424）；译自Programmirovanie 34，No.6（2008） 全文： 内政部
古罗夫，V.S。；Mazin，医学硕士。；纳夫斯基，A.S。；A.A.沙利托。 支持基于自动编程的工具。 （英语。俄文原件） Zbl 1154.68355号 程序。计算。柔和。 33，第6号，343-355（2007）; 译自Programmirovanie 2007，No.6，65-80（2007）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Gurov}等人，《程序》。计算。柔和。33，第6343-355号（2007年；兹bl 1154.68355）；译自Programmirovanie 2007，No.6，65-80（2007） 全文： 内政部
北卡罗来纳州巴克林。；Khoroshilov，A.V.公司。 为具有异步接口和电信协议的系统开发正式模型和一致性测试。 （英语。俄文原件） Zbl 1147.68402号 程序。计算。柔和。 33，第6号，316-335（2007）; 译自Programmirovanie 2007，第6期，26-55（2007）。MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Pakulin}和\textit{A.V.Khoroshilov}，程序。计算。柔和。33、编号6、316-335（2007；Zbl 1147.68402）；译自Programmirovanie 2007，No.6，26-55（2007） 全文： 内政部
伯多诺夫，I.B。；科萨切夫，A.S。；V.V.库利亚明。 测试实验的形式化。 （英语。俄文原件） Zbl 1154.68340号 程序。计算。柔和。 33，第5期，239-260（2007）; 译自Programmirovanie 2007，No.5，3-32（2007）。MSC公司：68米15 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Bourdonov}等人，《程序》。计算。柔和。33，第5号，239--260（2007；Zbl 1154.68340）；译自Programmirovanie 2007，No.5，3--32（2007） 全文： 内政部
内波米纳希。 在改变的数据结构上验证确定迭代的符号方法。 （英语。俄文原件） Zbl 1099.68026号 程序。计算。柔和。 31，第1号，1-9（2005）; 译自Programmirovanie 2005，No.1，3-14（2005）。MSC公司：68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit程序。计算。柔和。31，第1、1-9号（2005；Zbl 1099.68026）；译自Programmirovanie 2005，No.1，3--14（2005） 全文： 内政部