Automotive Domain Property Specification Pattern Dataset

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.