FC2Tools Verification Tools version

Developed in the Sophia-Antipolis laboratories of Ecole des Mines de Paris/ARMINES, and INRIA. The FC2Tools Verification Tool products are owned and licensed exclusively by Ecole des Mines de Paris (EMP), ARMINES, and INRIA, Licensors.

Ecole des Mines de Paris/ARMINES
60 Bd St Michel
75275 Paris Cedex 06, France
INRIA
Domaine de Voluceau
78150 Rocquencourt, France

Please read the COPYRIGHT AND LICENSE INFORMATION of the FC2Tools Verification Tools.
The FC2Tools Verification Tools use the TiGeR Library
owned and licensed by INRIA, XORIX SARL and DIGITAL EQUIPMENT CORPORATION, TiGeR Licensors
Please read the TiGeR COPYRIGHT AND LICENSE INFORMATION.