Slide 1 1 Carnegie Mellon UniversitySPINFlavio Lerda SPIN An explicit state model checker Slide 2 2 Carnegie Mellon UniversitySPINFlavio Lerda Explict State Model Checker…