assignment to be attended to as soon as possible

Please I was given an assignment that needs to be solved, I do not have any ide on how to go about it.. it is urgent please:

"Use Model Checking to check for; While, Else, Else If and If Statement."