Semantics and Verification Exercise at Aalborg University