dataset · Zenodo (CERN European Organization for Nuclear Research) · 2024

Automotive Domain Property Specification Pattern Dataset

Guidotti, Dario, Pandolfo, Laura, Pulina, Luca, Azzena, Salvatore

Cited by 0Open access

Abstract

This dataset contains 1000 requirements written in the Property Specification Pattern (PSP) format, specifically tailored for the automotive domain. The dataset serves as a valuable resource for researchers and practitioners working on the formal verification of automotive software, providing a comprehensive set of standardized requirements that can be used for validation, testing, and benchmarking of verification tools and methodologies.

Cite this paper

APA 7

Guidotti, D., Pandolfo, L., Pulina, L., & Azzena, S. (2024). Automotive Domain Property Specification Pattern Dataset. Zenodo (CERN European Organization for Nuclear Research). https://doi.org/10.5281/zenodo.13373275

MLA 9

Guidotti, Dario, et al. “Automotive Domain Property Specification Pattern Dataset.” Zenodo (CERN European Organization for Nuclear Research), 2024, https://doi.org/10.5281/zenodo.13373275.

Chicago

Guidotti, Dario, Laura Pandolfo, Luca Pulina, and Salvatore Azzena. 2024. “Automotive Domain Property Specification Pattern Dataset.” Zenodo (CERN European Organization for Nuclear Research). https://doi.org/10.5281/zenodo.13373275.

Harvard

Guidotti, D. et al. (2024) ‘Automotive Domain Property Specification Pattern Dataset’, Zenodo (CERN European Organization for Nuclear Research). Available at: https://doi.org/10.5281/zenodo.13373275.

BibTeX

@misc{guidotti2024automotive,
  title = {{Automotive Domain Property Specification Pattern Dataset}},
  author = {Guidotti, Dario and Pandolfo, Laura and Pulina, Luca and Azzena, Salvatore},
  journal = {Zenodo (CERN European Organization for Nuclear Research)},
  year = {2024},
  doi = {10.5281/zenodo.13373275}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.