原子 swMATH ID: 19057 软件作者： I.S.阿努列夫。 描述： 原子语言简介。Atom语言是一种特定于域的程序验证方法开发语言。它是用于多语言软件系统频谱快速开发和测试的验证方法。易于使用的专用语言允许系统用户以自然符号描述验证方法，验证不同对象域的算法，必要时为其表示添加新语言，与其他用户共享验证方法并将其组合。本文介绍了原子语言，包括对其主要实体的描述及其使用示例。 主页： http://bulletin.iis.nsk.su/files/article/anureev_1.pdf 关键词： 程序规范；程序验证；领域特定语言；模式匹配；程序模型；信息系统 相关软件： C-浅色；规格#；布吉；OpenJML（打开JML）；Frama-C公司；JML公司；Why3号机组；ACSL公司；PVS公司；伊莎贝尔 引用于： 3文件 1位作者引用 三 伊戈尔·谢尔盖维奇（Igor’Sergeevich Anureev） 连载1篇 三 新西伯利亚计算中心（NCC）和A.P.Ershov信息系统研究所（IIS）联合公报。系列：计算机科学 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文