[T2] ================================================ AMAST Links 01 02

              Autograph V3: prerelease version available

  We are happy to announce the avaibility of AutographV3 (in alpha
prerelease version). Volunteers are sought to try out this new system
and turn in bug reports extensively.
  Autograph is a graphical editor for networks of automata, in the
context of automatic verification for process algebras.
  The new version is written in C++, uses color and still runs under
X11 on Sparc stations (with Sun OS4.x). It is interfaced with Fc2
format for (decorated) labelled transition systems, and (output only)
for networks descriptions. This allows interface to verification tools,
such as Auto (also developped in our team).
  The new `atg' binary is available by anonymous ftp from 
URL: ftp://cma.cma.fr/pub/verif/atgV3alpha.sun4os4.tar.[gz,Z]
  Install instructions are contained in the README file extracted while
untar'ed.
  Enjoy!
  Valerie Roy (vr@cma.cma.fr)
  Robert de Simone (rs@cma.cma.fr)