Subject: Lotos verification tool

From: Andreas Vogel <[email-masked]>
Date: Wed, 8 Mar 1995 08:06:36 +1000

Hi folks,

I'm looking for a Lotos verification tool which satisfies some of the
following requirements (the more the better):

- checks equivalence (weak bisimulation, test, ...) between two
  basic (or even full) LOTOS specifications

- checks subtyping/refinement relations between two
  basic (or even full) LOTOS specifications

- should provide an interface to allow integration in other tools
  at something like
	system("<your_tool> <options> <spec1> <spec2>");
  should be feasible

- public domain available (or at least cheap)

- is compiled for OSF V3 on DEC alphas or
  sources available for installation

Thanks,

Andreas
__________________________________________________________________________

Andreas Vogel
DSTC Pty Ltd,			e-mail: [email-masked]
Level 7, Gehrmann Laboratories	phone:	+61 7 365 4310
The University of Queensland	fax:	+61 7 365 4311
Q 4072
Australia

www: http://www.dstc.edu.au/AU/staff/andreas-vogel.html
                       __o
                     _`\<,_
____________________(*)/_(*)_____________________________________________