该研究提出了 Hermes 框架，可自动从自然语言的细胞规范中生成形式表示。通过神经成分解析器 NEUTREX，将转换相关的文本处理并提取转换组件，最终编译成转换并创建有限状态机的形式模型。在评估中，Hermes 的整体准确率为 81-87％，相对于现有技术有重大改进。安全分析揭示了 3 个新漏洞、19 个先前的攻击和 7 个偏差。