Formal methods involve the use of mathematical models for describing the properties of systems in a precise and unambiguous manner. They provide a rigorous way to ensure that systems satisfy certain correctness criteria, which can be crucial for safety-critical applications. Techniques include formal specifications, model checking, theorem proving, and abstraction among others. These methods help identify bugs, ensure compliance with specifications, and improve system reliability and robustness.