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

[PVS-Help] PVS & Prolog

To: <pvs-help@xxxxxxxxxxx>
Subject: [PVS-Help] PVS & Prolog
From: Changda Wang <wangchangda@xxxxxxxxxxx>
Date: Wed, 30 Jan 2008 10:19:37 +0800
Importance: Normal
List-Help: <mailto:pvs-help-request@csl.sri.com?subject=help>
List-Id: PVS-Help <pvs-help.csl.sri.com>
List-Post: <mailto:pvs-help@csl.sri.com>
List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=subscribe>
List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>
Sender: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx

Hi there!

Currently, I’m working on predicate abstraction. I wonder, functionally, does PVS can substitute for Prolog thoroughly? I’ll choose one as theorem prover.

Thanks in advance to anyone!

Changda Wang

School of computer Science, Jiangsu University

30-Jan-08

Express yourself instantly with MSN Messenger! MSN Messenger

Prev by Date: Re: [PVS-Help] Getting the prover to use axioms
Next by Date: [PVS-Help] proved-incomplete because of finite-sets
Prev by thread: RE: [PVS-Help] proved-incomplete because of finite-sets
Next by thread: [PVS-Help] Getting the prover to use axioms
Index(es):
- Date
- Thread