Artifact for Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic

Welcome! This artifact contains the survey instruments, final catalog, and labeled responses from our FM 2024 paper: Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic The artifact is primarily a dataset. There is no required software to run. The instruments and catalog are PDF files. The labeled responses are in spreadsheets, which we provide as open document files (`.ods`) with HTML as a backup.欢迎使用本研究工件！ 本研究工件（artifact）包含了我们发表于FM 2024的论文《有限迹与无限迹线性时序逻辑（Linear Temporal Logic）中的认知误区》所使用的调研工具、最终目录集与标注回复数据。 本研究工件本质为数据集，无需运行任何指定软件。 调研工具与最终目录集均为PDF格式文件。 标注回复数据存储于电子表格中，我们以开放文档格式（.ods）提供该数据，同时提供HTML格式作为备用格式。