In reply to Karan:
From Model checking - Wikipedia
model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.
In reply to Karan:
From Model checking - Wikipedia
model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.