Verification Problems

Solved verification models.