Introduction to Modeling for Formal Verification
Completed by Arzoo Naveed
May 15, 2026
13 hours (approximately)
Arzoo Naveed 's account is verified. Coursera certifies their successful completion of Introduction to Modeling for Formal Verification
What you will learn
Explain functional verification and model checking, including their benefits and drawbacks
Describe transition systems and how they represent behavior of hardware and software
Use program graphs to describe systems with data-dependent control
Describe communication models for system composition, including concurrency, shared variables, handshake, and synchronous parallelism.Â
Skills you will gain
- Category: Software Systems
- Category: Graph Theory
- Category: Computer Engineering
- Category: Computational Logic
- Category: Systems Design
- Category: Communication Systems
- Category: Process Modeling
- Category: Theoretical Computer Science
- Category: Verification And Validation
