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.

Loading...

This page contains content from the copyrighted Wikipedia article "Model checking"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.