The workshop FTfFP 2018 (@ECOOP 2018) features several VerCors related presentations. Wytse Oortwijn gives a tool demo of the VerCors tool set, while Sebastiaan Joosten presents the paper An Exercise in Verifying Sequential Programs with VerCors, co-authored by Wytse Oortwijn, Mohsen Safari and Marieke Huisman.

In this paper, we present our solutions to two of the VerifyThis 2018 challenges.