符号自动机 swMATH ID: 13262 软件作者： 玛格斯·维纳斯（Margus Veanes）；尼古拉·比约纳 描述： 符号自动机：工具箱。符号自动机工具包将经典的自动机分析提升到富含模的字母表理论。它利用最先进的约束求解器的能力进行自动机分析，这种分析既有表现力又有效率，即使对于大型有限字母上的自动机也是如此。该工具包支持有限符号自动机和字符串上的转换器的分析。它还使用寄存器处理传感器。在构造和最小化自动机时使用了约束求解，并且通过将自动机作为理论进行内部化也可以获得更深入、更强大的集成。该工具包可从Microsoft Research免费获得，最近已在web安全上下文中用于分析Unicode字符上的潜在恶意数据。 主页： http://research.microsoft.com/pubs/157565/symAutTACAS12.pdf 相关软件： 汉普;陌生人;github;HOL-TestGen公司;ETPS公司;伊莎贝尔/HOL;萨纳;MONA公司;菲律宾比索;StrSolve解决方案;可爱的 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 符号自动机：工具箱。 Zbl 1352.68138号玛格斯·维纳斯;尼古拉·比约纳 2012 全部的 前5名被11位作者引用 2 玛格斯·维纳斯 1 穆阿特·阿尔卡拉夫 1 尼古拉·S·比约纳。 1 阿希姆·D·布鲁克。 1 特维克布尔坦 1 布鲁诺·库塞尔 1 洛丽斯·达安东尼 1 艾琳·杜兰德。 1 奥斯卡·H·伊巴拉。 1 沃尔夫，伯克哈特 1 于、方 2篇连载文章中引用 1 理论计算机科学 1 系统设计中的形式化方法 在3个字段中引用 5 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 按年份列出的引文