There is a newer version of the record available.

Published June 18, 2024 | Version 2.1
Dataset Open

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

Authors/Creators

  • 1. ROR icon Brown University
  • 2. ROR icon University of Oxford
  • 3. ROR icon Free University of Bozen-Bolzano

Description

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.

Files

Files (4.3 MB)

Name Size Download all
md5:7f80912b3f48b322a846b60d22d128d3
4.3 MB Download