Tags: Genre, Music Genre, Topical Concept.
In computer science model checking aka property checking refers to the following problem:Given a model of a system exhaustively and automatically check whether this model meets a given specification. Typically one has hardware or software systems in mind whereas the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash.