Subject: LOTOS verification tools

From: [email-masked] (Milica Barjaktarovic)
Date: Thu, 13 Apr 95 12:04:05 EDT

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