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

client access to PVS system.

To: pvs@csl.sri.com
Subject: client access to PVS system.
From: "Dr Andrew A. Adams" <aaa@dCS.st-and.ac.uk>
Date: Tue, 07 Jul 1998 15:36:07 +0000


Does anyone have any advice on the problem of getting another process/system
to talk to PVS, as a support mechanism in which the user should not
see PVS at all, unless they wish to attempt a proof manually?


*E-mail*aaa@dcs.st-and.ac.uk*******  Dr Andrew A Adams
**snail*30 Woodburn Terrace********  Division of Computer Science
***mail*St Andrews KY16 8BA, UK****  School of Maths and Comp Sci
****Tel*+44-1334-463268/470013*****  University of St Andrews

Follow-Ups:
- Re: client access to PVS system.
  - From: Kai Engelhardt <ke@socs.uts.EDU.AU>

Prev by Date: PVS and library functions
Next by Date: Re: client access to PVS system.
Prev by thread: PVS and library functions
Next by thread: Re: client access to PVS system.
Index(es):
- Date
- Thread