PVS2 Rewrite: Simon Rettberg * PVS1 * Initial design and first versions: Simon Wittenberg Contributors: Johann Betz Javier Castillo Johann Latocha Achille Nana Simon Rettberg Fadi Salameh Alexander Hoppe Benjamin Lieberwirt Christian Klinger