Taggato: Model Checking