Subject: Re: LOTOS verification tools

From: "B." Stepien <[email-masked]>
Date: Tue, 25 Apr 1995 04:19:51 +0200 (MET DST)

> 
> 
> Hello,
> 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. 
> 
> Thank you,
> Milica
> Syracuse University
> 
> 
      Have a look at lotos.csi.uottawa.ca ftp server,
there might be interesting things there.

Bernard Stepien