Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 8 Apr 1994 08:32:04 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA12430;
          Fri, 8 Apr 1994 01:24:07 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA12426;
          Fri, 8 Apr 1994 01:24:06 -0600
Received: from Maui.CS.UCLA.EDU by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA28143;
          Fri, 8 Apr 1994 00:24:59 -0700
Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 4.1/3.25) 
          id AA09779; Fri, 8 Apr 94 00:24:58 PDT
Message-Id: <9404080724.AA09779@maui.cs.ucla.edu>
To: info-hol@cs.uidaho.edu
Subject: Re: How close is practical program proving?
Date: Fri, 08 Apr 94 00:24:57 PDT
From: chou@cs.ucla.edu

I think a better question to ask is:

    What kind of programs are worth proving?

Any suggestions?

- Ching Tsun