Exploring the Potential of Large Language Models for Verifying Technical System Specifications Against Requirements: A Comparative Study with Rule-Based Systems

Large language models (LLMs) show promise in verifying if technical system specifications meet predefined requirements, achieving comparable results to traditional rule-based systems, especially with strategic prompting and in specific scenarios.