Solutions for the exercises of the course “Computer Aided Verification”