An oft-used method for verifying the correctness of software is model checking. One
technique for performing model checking involves converting a model and specification into …