An exercise in verifying sequential programs with VerCors.

Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman

Browse the full ISSTA paper archive.