Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!columbia!rutgers!nike!ucbcad!ucbvax!hplabs!tektronix!teklds!copper!robertd
From: robertd@copper.UUCP (Bob Dietrich)
Newsgroups: net.lang.pascal
Subject: Re: Validation
Message-ID: <666@copper.UUCP>
Date: Wed, 15-Oct-86 21:54:18 EDT
Article-I.D.: copper.666
Posted: Wed Oct 15 21:54:18 1986
Date-Received: Thu, 16-Oct-86 22:09:49 EDT
References: <7762MIY@PSUVM>
Reply-To: robertd@copper.UUCP (Bob Dietrich)
Organization: Tektronix, Inc., Beaverton, OR.
Lines: 18

Although it is not truly "official" (that is, it is not distributed directly
by a standardization body), the Pascal Validation Suite (PVS) is used for
validating Pascal processors in the U.K., U.S., and other countries. It was
developed by people involved in Pascal standardization and is kept up to date
as errors are found and new interpretations of 7185 are made. 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

There is also a compiler/interpreter package available which fully meets
level 0 (and level 1?) of the standard. Tools for dealing with validation are
also available.