User:Adrianwn/Draft:Bounded Model Checking

In computer science, bounded model checking is a formal verification technique in which the model is partially unrolled in order to check whether it violates the specification within a certain number of steps.