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.

Question is empty. Ask new Question

Popular Questions