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.