Model Checking Setting up environment. Navigate to the project folder. conda env create Updating environment. conda env update