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

New libraries available

To: pvs@csl.sri.com
Subject: New libraries available
From: Paul Y Gloess <Paul.Gloess@labri.u-bordeaux.fr>
Date: Thu, 04 May 2000 15:22:15 +0200
CC: John Rushby <rushby@csl.sri.com>
Delivery-Date: Thu May 4 06:25:46 2000
Organization: LaBRI & ENSERB
Sender: paul.gloess@labri.u-bordeaux.fr

Dear PVS users:

I have made three new libraries available either from
      http://pvs.csl.sri.com/users.html
SRI International PVS users page (following Bordeaux link), or directly
from
      http://dept-info.labri.u-bordeaux.fr/~gloess/pvs/
URL

This reference includes previous libraries on imperative program
verification, plus new libraries about:
- well founded relation properties;
- permutations;
- correctness of a simple compiler.

Best regards.

--
Paul Y Gloess
          LaBRI:   http://dept-info.labri.u-bordeaux.fr/~gloess
   E.N.S.E.R.B.:   http://www.enserb.u-bordeaux.fr/~gloess

Prev by Date: Re: Strange problems
Next by Date: asynchronous message passing examples?
Prev by thread: Re: Strange problems
Next by thread: asynchronous message passing examples?
Index(es):
- Date
- Thread