Published July 17, 2024 | Version 3
Dataset Open

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

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:d48a4836e7e813d30eb4df639b09acc1
4.3 MB Download