Explore relationships

Model checking

In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness).

Use + to expand a branch. Click a topic name to open its summary.