Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83 (MC840302); site erix.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!mcvax!enea!erix!nabiel
From: nabiel@erix.UUCP (Nabiel Elshiewy)
Newsgroups: net.ai,net.lang.prolog
Subject: Re: Specification and the Synthesis of Logic Programs
Message-ID: <917@erix.UUCP>
Date: Wed, 21-Aug-85 12:41:01 EDT
Article-I.D.: erix.917
Posted: Wed Aug 21 12:41:01 1985
Date-Received: Sat, 24-Aug-85 17:30:00 EDT
References: <663@gitpyr.UUCP>
Reply-To: nabiel@erix.UUCP (Nabiel Elshiewy)
Organization: L M Ericsson, Stockholm, Sweden
Lines: 12
Xref: watmath net.ai:2960 net.lang.prolog:571

In article <663@gitpyr.UUCP> allen@gitpyr.UUCP (P. Allen Jensen) writes:
>
>I understand how a specification can be used to verify a program.  This
>assumes, however, that the specification is correct and self-consistent.
>It would seem that this is just as difficult as writing a correct
>program !  How does one verify a specification ?
>
>P. Allen Jensen

Well, specify it and use the specification to verify the specification.