The Why platform for program certification Copyright (C) 2002-2008 Romain BARDOU Jean-François COUCHOT Mehdi DOGGUY Jean-Christophe FILLIÃTRE Thierry HUBERT Claude MARCHà Yannick MOY Christine PAULIN Yann RÃGIS-GIANAS Nicolas ROUSSET Xavier URBAIN This program is free software; you can redistribute it and/or modify it under the terms of the GNU Library General Public License version 2.1, with the special exception on linking described in file LICENSE. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.