What is Model checking? Model checking has proven to be a successful technology to verify requirements and design for a variety of real-time embedded and safety-critical systems. Here’s how it works.