[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: What is behind PVS?

To: jordan@charity.dmu.ac.uk
Subject: Re: What is behind PVS?
From: John Rushby <RUSHBY@csl.sri.com>
Date: Thu 26 Nov 98 12:07:17-PST
Cc: pvs@csl.sri.com, pvs-help@csl.sri.com, acau@liverpool.dmu.ac.uk, benm@charity.dmu.ac.uk, hzedan@dmu.ac.uk
In-Reply-To: <199811251328.NAA27960@liverpool.dmu.ac.uk>
Mail-System-Version: <SUN-MM(229)+TOPSLIB(128)@csl.sri.com>

The PVS bibliography at http://pvs.csl.sri.com/applications gives
references to papers that describe the theorem proving techniques
used in PVS.  A simple introduction to HO logic and some of the issues
in theorem proving is the appendix to http://www.csl.sri.com/csl-93-7.html

John
-------

References:
- What is behind PVS?
  - From: Jordan Dimitrov <jordan@charity.dmu.ac.uk>

Prev by Date: What is behind PVS?
Next by Date: Question about With
Prev by thread: What is behind PVS?
Next by thread: Non-linearity
Index(es):
- Date
- Thread