Try VerCors online

Does the following program verify? You can also start with an existing example!