Model Checking cannot verify the entire AI system or its key components as a "model" and write and verify specifications for ...