Article View: net.lang.pascal
Article #338Re: Validation
From: Bob Dietrich
Date: Thu, 16 Oct 1986 01:54
Date: Thu, 16 Oct 1986 01:54
18 lines
1338 bytes
1338 bytes
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.
Technical Details
Message-ID:
<666@copper.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!mnetor!seismo!columbia!rutgers!nike!ucbcad!ucbvax!hplabs!tektronix!teklds!copper!robertdReferences:
<7762MIY@PSUVM>Show Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: arc1-ca.pugleaf.net!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