Click 18_Model Checking_2024.pdf link to view the file.