Subject: Re: LOTOS verification tools

From: Hubert Garavel <[email-masked]>
Date: Wed, 19 Apr 1995 10:42:11 +0200

* I would appreciate if you can let me know if there are any LOTOS
* verification tools - for example, tools that can check for
* observation equivalence, temporal properties, and so on. 

The CAESAR/ALDEBARAN tools offer these functionalities.

These tools are integrated into a larger protocol engineering environment 
developed in the European/Canadian projects EUCALYPTUS and EUCALYPTUS-2.

For more information, a WWW page is available at:

	ftp://imag.fr/pub/SPECTRE/LOTOS/cadp.html

					Hope this helps,
					Hubert

',',',',',',',',',',',',' Hubert GARAVEL         | INRIA Rhone-Alpes (Verimag)
',',',',',',',',',',',',' [email-masked] | Miniparc-ZIRST rue Lavoisier
',',',',',',',',',',',',' tel: +(33) 76 90 96 34 | 38330 MONTBONNOT ST MARTIN
',',',',',',',',',',',',' fax: +(33) 76 41 36 20 | FRANCE