Artifact for Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/11069096
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2024-07-18
