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.