About This Course
Description:
The Formal Verification course offers a comprehensive exploration of formal methods employed in the verification of hardware and software systems. It delves into formal specification languages, model checking, theorem proving, and their practical applications in industry.
Key Highlights:
- Utilization of formal methods in system verification
- Comprehensive coverage of model checking and theorem-proving
- Real-world applications demonstrating the efficacy of formal verification
Learning Objectives
Apply best practices and knowledge to think through a problem rather than try to memorise the solution.
Be able to identify many electrical and mechanical machines.
Apply engineering concepts across multiple engineering disciplines.
Requirements
- Bring your thinking cap (brain) and I will provide the rest!
Target Audience
- Anyone who is curious about how things work.
- Anyone who loves to learn.
- Anyone who enjoys the gift of knowledge.
- Anyone involved with any engineering related discipline
Curriculum
2 Lessons1h 50m
Formal Verification
Draft Lesson
Draft Lesson
Your Instructors
Google