The Why3 Verification Platform is developed by François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich with contributions of Stefan Berghofer Sylvie Boldo Martin Clochard Simon Cruanes Sylvain Dailler Clément Fumex Léon Gondelman David Hauzar Daisuke Ishii Johannes Kanig Mikhail Mandrykin David Mentré Benjamin Monate Kim NguyỠn Thi-Minh-Tuyen Nguyen Mário Pereira Raphaël Rieu-Helft Simão Melo de Sousa Asma Tafat Piotr Trojanek Makarius Wenzel