An exercise in verifying sequential programs with VerCors.

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

Published in: ISSTA/ECOOP Workshops (2018)

Keyphrases

information technology
information systems
computer programs
model checking
automatic programming
database
artificial intelligence
programming language
programming environment
fixpoint
program execution