Formal methods is a field concerned with the application of mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. Characterized by the use of formal languages, logical systems, and automated reasoning tools, this approach investigates system properties such as correctness, safety, and security, thereby significantly enhancing the reliability and trustworthiness of critical systems through systematic analysis and proof.