Description:

Formal Verification is the process of proving the correctness of systems or software using mathematical methods. This course will cover formal methods such as model checking, theorem proving, and symbolic execution to ensure that a system behaves as intended. Students will learn how to formally specify properties and verify that a system complies with these specifications.

Key Highlights:

• Learn formal methods for system verification
• Explore model checking and theorem proving techniques
• Understand how to formally specify properties of systems
• Validate system correctness using mathematical methods

What you will learn:

• Gain in-depth knowledge of formal verification techniques
  Understand the principles and applications of formal verification methods in ensuring system correctness.
• Hands-on experience with model checking and theorem proving
  Practice using tools and techniques for model checking and theorem proving to verify system properties.
• Learn to formally specify and verify system properties
  Acquire skills in formally defining properties of systems and verifying their compliance using formal methods.