Model Checking

Model Checking is widely accepted that its application will enhance and complement existing validation techniques as simulation and test. It also ┬árefers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification. It’s concept is general and applies to all kinds of logics and suitable structures. A simple model-checking problem is verifying whether a given formula in the propositional logic is satisfied by a given structure.