When applying this approach to large-scale software projects with thousands of requirements, several challenges and limitations may arise. One major challenge is the scalability of the method. As the number of requirements increases, the complexity of analyzing contradictions between them also grows, potentially leading to longer processing times and increased computational resources. The parsing and transformation of a large volume of requirements into logical expressions can be time-consuming and resource-intensive. Additionally, managing and tracking conflicts across a vast number of requirements can become overwhelming, requiring robust reporting and visualization mechanisms to handle the extensive data generated by the analysis. Moreover, ensuring the accuracy and completeness of the conversion process for a large number of requirements poses a significant challenge, as errors in the transformation can lead to false positives or negatives in contradiction detection.