Lotosphere Tools distributed at INRIA



                                        Copyright 1992  -- Lotosphere Consortium

INRIA is one of the sites from the Lotosphere ESPRIT2 project and consortium that distribute the Minilite software environment.

Minilite distribution is subject to a license, free of charge for educational and research institutions, and for all non-commercial activities. Ask for a license at the address below, and you will be given the address of our ftp distribution directory.

The following 2 papers give a detailed description of the toolset, and of the licensing conditions attached to the various components:

  • Minilite: the components
  • Minilite: License conditions

    • How to get the tools:

    Once you have asked for your license(s) and received the address of our tool repository, you have to pick them by ftp, and install them on your machine.

    We currently only have available the Sun4-OS4 version.

    You will find in our tool repository: 

    install.README
MLite3.0pl4.0.tar.gz
MLite3.0pl4.1.tar.gz
MLite3.0pl4.2.tar.gz
MLite3.0pl4.3.tar.gz
ILOGACCESS
    If you are going to install the full set of tools, you need the 4 parts of MLite, plus the ILOGACCESS file. Instructions are in the install.README file, and here

    If you already have Minilite (e.g. from twente), and only want to install the verification satellite, you need only MLite3.0pl4.3.tar.gz, and the ILOGACCESS file. Then you'll find instructions for installation here.

    Related pages:

  • Distribution of Lotos Tools at Universite of Twente (ftp site)
  • Topo environment from UPM, Madrid (ftp site)
  • The Meije Verification Tools
  • The Meije project home-page (en français, or in english)

    • Technical Contact, and Requests for licenses:

    ------------------------------------------------------------
Eric Madelaine                tel: (+33) 93657807
INRIA Sophia-Antipolis        secr:(+33) 93657825
Route des lucioles            fax: (+33) 93657766
BP 93
06902 SOPHIA-ANTIPOLIS CEDEX
	FRANCE		      email: Eric.Madelaine@sophia.inria.fr
------------------------------------------------------------