一句话：提出 SpecFSM，从协议规范文档中提取有限状态机并修复其中的错误或不一致。
该论文关注协议规范文档中的状态信息难以直接用于形式化分析与工程实践的问题，提出 SpecFSM 方法，从协议规范文档中提取有限状态机（FSM），并对其进行修复。标题表明其目标是将规范文档转化为可用的 FSM 模型，并通过修复机制处理提取结果中的错误或不一致。然而，给出的英文摘要仅为代码与示例工件仓库说明，未提供具体提取技术、修复策略、实验设置和评估结果，因此无法从摘要判断其关键结果。
This repository contains the code and example artifacts for the paper "SpecFSM: Extracting and Repairing Finite State Machines from Protocol Specification Documents".
@inproceedings{paperbot12280,
title = {SpecFSM: Extracting and Repairing Finite State Machines from Protocol Specification Documents},
author = {Xiangdong Li and DaWei Huang and Jingjing Guan and Hui Li},
booktitle = {ASE},
year = {2026},
doi = {10.1145/3832783.3834331}
}