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; Tue, 18 Oct 1994 19:57:47 +0100
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA17330;
          Tue, 18 Oct 1994 12:52:06 -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.38.193.4/16.2) id AA17322;
          Tue, 18 Oct 1994 12:51:27 -0600
Received: from ultrastar.EE.CORNELL.EDU (ULTRASTAR.EE.CORNELL.EDU [128.84.240.36]) 
          by dworshak.cs.uidaho.edu (8.6.9/1.0) with SMTP id LAA15406 
          for <info-hol@cs.uidaho.edu>; Tue, 18 Oct 1994 11:44:11 -0700
Date: Tue, 18 Oct 94 14:43:58 EDT
From: mel@ultrastar.EE.CORNELL.EDU (Miriam Leeser)
Received: by ultrastar.EE.CORNELL.EDU (4.1/1.6.10+n-y-Cornell-Electrical-Engineering) 
          id AA06420; Tue, 18 Oct 94 14:43:58 EDT
Message-Id: <9410181843.AA06420@ultrastar.EE.CORNELL.EDU>
To: info-hol@cs.uidaho.edu
Subject: pointers to research combining theorem proving and state based tools


I am looking for references to research on the combination of theorem
proving and model checking or other state based tools.

If you have any, could you email them to me or post them to the list?

Thanks, Miriam Leeser
mel@ee.cornell.edu