VeriFast 21.04

Research prototype tool for modular formal verification of C and Java programs

By Bart Jacobs*, Jan Smans*, and Frank Piessens*, with contributions by Pieter Agten*, Cedric Cuypers*, Lieven Desmet*, Jan Tobias Muehlberg*, Willem Penninckx*, Pieter Philippaerts*, Amin Timany*, Thomas Van Eyck*, Gijs Vanspauwen*, Frédéric Vogels*, and external contributors

* imec-DistriNet research group, Department of Computer Science, KU Leuven - University of Leuven, Belgium

List of contributors, with number of commits (as produced by git shortlog -sne):

  1457  Bart Jacobs <bart.jacobs@cs.kuleuven.be>
   319  Jan Smans <jan.smans@cs.kuleuven.be>
   190  Willem Penninckx <willem.penninckx@cs.kuleuven.be>
   189  Gijs Vanspauwen <gijs.vanspauwen@cs.kuleuven.be>
    51  Jan Tobias Muehlberg <jantobias.muehlberg@cs.kuleuven.be>
    46  Cedric Cuypers <cedric.cuypers@student.kuleuven.be>
    21  Frederic Vogels <frederic.vogels@cs.kuleuven.be>
    18  Pieter Philippaerts <pieter.philippaerts@cs.kuleuven.be>
    15  Pieter Agten <pieter.agten@cs.kuleuven.be>
    12  Dries Vanoverberghe <dries.vanoverberghe@cs.kuleuven.be>
    10  Willem Penninckx <willem.penninckx@student.kuleuven.be>
     9  Kiwamu Okabe <kiwamu@debian.or.jp>
     8  Amin Timany <amintimany@gmail.com>
     8  Raphael Cauderlier <cauderlier@liafa.univ-paris-diderot.fr>
     7  Amin Timany <amin.timany@cs.kuleuven.be>
     7  Thomas Van Eyck <thomas.vaneyck@student.kuleuven.be>
     6  Martin Vassor <martin.vassor@epfl.ch>
     5  Solal Pirelli <solal.pirelli@gmail.com>
     5  Raphaël Cauderlier <cauderlier@crans.org>
     4  Lieven Desmet <lieven.desmet@cs.kuleuven.be>
     4  Joe Doyle <joethedoyle@gmail.com>
     4  Dries Vuylsteke <dvuylsteke@gmail.com>
     3  Willem Penninckx <willem@willemp.be>
     3  Amin Timany <amintimany@users.noreply.github.com>
     3  Kiwamu Okabe <kiwamu@gmail.com>
     3  Necto <necto.ne@gmail.com>
     3  Stefan Wils <stefanwils@gmail.com>
     2  Solal Pirelli <SolalPirelli@users.noreply.github.com>
     2  gijsvanspauwen <gijs.vanspauwen@cs.kuleuven.be>
     2  Mahmoud Mohsen <mahmoud.mohsen@cs.kuleuven.be>
     2  Jan Tobias Muehlberg <jtmuehlberg@gmail.com>
     1  Jörg Pfähler <bluecoder@gmx.de>
     1  Sander <github@sandervanbalen.be>
     1  Joe Doyle <joethedoyle@protonmail.com>
     1  ueliomuelio <49640573+ueliomuelio@users.noreply.github.com>
     1  Jasper Hawinkel <hahawin@users.noreply.github.com>
     1  Gijs Vanspauwen <Gijs.Vanspauwen@cs.kuleuven.be>
     1  Alastair Reid <adreid@google.com>
     1  bno1 <ealex95@gmail.com>
     1  elleboog <wout.vanroose@gmail.com>
     1  Nathan Chong <ncchong@amazon.com>
     1  Niels Mommen <nielsmommen@hotmail.com>
     1  jafarhamin <jafarhmn@yahoo.com>
     1  NielsMommen <32457927+NielsMommen@users.noreply.github.com>
     1  Lucas Ramirez <RamirezLucas@users.noreply.github.com>
     1  Jörg Pfähler <pfaehler@isse.de>

See the attached Git bundle for the full commit/contribution history.

This work was supported in part by the Flemish Research Fund (FWO-Vlaanderen), by the EU FP7 projects SecureChange, STANCE, ADVENT, and VESSEDIA, by Microsoft Research Cambridge as part of the Verified Software Initiative, and by the Research Fund KU Leuven.