Computer

Model Checking

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.