Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 13 Jan 1994 19:48:12 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA02758; Thu, 13 Jan 1994 12:36:40 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from panther.cs.byu.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA02754; Thu, 13 Jan 1994 12:36:40 -0700 Received: from localhost by panther.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA26261; Thu, 13 Jan 1994 12:35:24 -0700 To: info-hol@leopard.cs.byu.edu Subject: HOL Information Server: On Line Courses Date: Thu, 13 Jan 1994 12:35:22 -0700 From: Phil Windley Message-ID: <"swan.cl.cam.:137370:940113194852"@cl.cam.ac.uk> The HOL Information Server has two on-line courses available. The first is Mike Gordon's software verification course. The lecture notes and slides are both available for you to look at. They are in DVI format. The second is my course on hardware verification. All of the slides from the course have been hyperlinked. There is also demonstration code, assignments, project information, and so on. Please let me know if there are any problems with either of these. --phil--