Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!ut-sally!husc6!uwvax!rutgers!caip!clyde!watmath!looking!brad
From: brad@looking.UUCP (Brad Templeton)
Newsgroups: net.lang.pascal
Subject: Re: Validation
Message-ID: <683@looking.UUCP>
Date: Fri, 17-Oct-86 03:44:55 EDT
Article-I.D.: looking.683
Posted: Fri Oct 17 03:44:55 1986
Date-Received: Sat, 18-Oct-86 23:47:08 EDT
References: <7762MIY@PSUVM> <666@copper.UUCP>
Reply-To: brad@looking.UUCP (Brad Templeton)
Organization: Looking Glass Software Ltd. Waterloo, Ontario
Lines: 30

In article <666@copper.UUCP> robertd@copper.UUCP (Bob Dietrich) writes:
>The suite
>consists of over seven hundred Pascal programs and costs $600 (well worth
>it). The PVS is now at version 4.2.
>In the U.S., contact:
>	Software Consulting Services
>	3162 Bath Pike
>	Nazareth, PA  18064
>	(215) 837-8484

It is a useful package, but I was never too thrilled with SCS.  As far
as I know, all they are doing officially is distributing this package of
programs, which is owned by the British Standards Institute and the U
of Tasmania.   Since the $600 I paid (up from $300 about 1.5 years ago)
was for "distribution" I was surprised that the thing came in a brown
envelope with dot matrix printer documentation (except for the BSI printed
stuff) and half a dozen hand-labeled floppy disks.   Total cost to them
to put the package together over here, about $30 (at most)

I was willing to pay money for the package -- these days there are
very few mistakes left in it, but I wonder just how much is getting
back to the authors, and how much stays with the uncooperative folks
at SCS.

If you are considering getting the package, remember that it is very much
for Standard Pascal.  A lot of the programs check to see if you catch errors
99% of compilers don't catch.  You have to be able to disable your
extensions, too, if you want to use many of them.
-- 
Brad Templeton, Looking Glass Software Ltd. - Waterloo, Ontario 519/884-7473