System verification is a research field and methodological approach concerned with establishing whether a system meets predefined functional, performance, or safety requirements and properties. It rigorously investigates system behavior using formal methods, testing, or simulation to confirm adherence to specifications, thereby ensuring reliability, correctness, and trustworthiness, particularly in critical applications.