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.