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

New libraries available



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