Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!security!genrad!decvax!tektronix!ogcvax!omsvax!icalqa!hplabs!sri-unix!wagner@compion-vms
From: wagner%compion-vms@sri-unix.UUCP
Newsgroups: net.ai
Subject: Announcement:  VERUS verification system offered
Message-ID: <13182@sri-arpa.UUCP>
Date: Mon, 17-Oct-83 20:41:19 EST
Article-I.D.: sri-arpa.13182
Posted: Mon Oct 17 20:41:19 1983
Date-Received: Sun, 6-Nov-83 11:22:35 EST
Lines: 22

Please send the following information to help us prepare for you
to use VERUS:
               your name
               organization
               U.S. mailing address
               telephone number
               network address
               whether you are on the MILNET or the ARPPANET
               whether you are familiar with VMS
               whether you have a DEC-supported terminal
               desired starting date and length of use

We will notify you when you can log on and send you hard-copy user
documents including a language manual, a user's guide, and a guide
to writing state machine specifications.

After the network split, VERUS will be available over the MILNET
and, by special arrangement, over the ARPANET.

__________
VERUS is a trademark of Compion Corporation.
DEC, VAX, and VMS are trademarks of Digital Equipment Corporation.