Questions tagged [model-checking]
Model checking refers to the following problem: given a model of a system, test automatically whether this model meets a given specification.
Model checking refers to the following problem: given a model of a system, test automatically whether this model meets a given specification.