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

Help : Mobile Agents

To: pvs-help@csl.sri.com
Subject: Help : Mobile Agents
From: Kalpesh Kapoor <kalpesh@cse.iitb.ernet.in>
Date: Wed, 5 May 1999 13:41:49 +0530 (IST)

Hello
     Please let me know if PVS has beed used in verification of MOBILE
AGENT systems.

With best regards,
Kalpesh.

      _________________________________________________________________     
     |                                     KALPESH KAPOOR              |      
    /)  Hostel 8                          M.Tech. IInd Sem.            (\
   / )  I.I.T. Bombay             ( Computer Science and Engineering ) ( \
 _( (|  Ph. 5781017                                                    |) )_
(((\ \_________________________________________________________________/ //)))
(\\\\ \_/ /              kalpesh@cse.iitb.ernet.in                \ \_/ /////
 \       /                  INTEL LAB. 7742                        \       /
  \    _/                                                           \_    /
  /   /                                                               \   \

Prev by Date: Re: Another Problem during a proof !
Next by Date: A question
Prev by thread: a question
Next by thread: Another Problem during a proof !
Index(es):
- Date
- Thread