Description:

Formal Verification course provides an in-depth understanding of formal methods used to verify hardware and software systems. It covers formal specification languages, model checking, theorem proving, and applications of formal verification in industry.

Key Highlights:

• Formal methods in system verification
• Model checking and theorem proving
• Real-world applications of formal verification

What you will learn:

• Understand formal specification languages
  Learn how to formally describe system properties and behaviors using languages such as temporal logic.
• Explore model checking techniques
  Discover how model checking algorithms can exhaustively verify systems for correctness.
• Apply theorem proving in verification
  Learn how to use theorem proving to mathematically prove system correctness.