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

Re: [PVS-Help] fixed-point theory



Hi Stan,

I happen to have a copy of it, I'm including it below.

Cheers,
Sam

Attachment: fixpoints.tgz
Description: Fixpoints in PVS

Stan Rosenberg <stan.rosenberg@xxxxxxxxx> wrote:

> Hi,
> 
> I came across this formalization of fixed-points:
> http://www.informatik.uni-ulm.de/ki/PVS/fixpoints.html
> Unfortunately, the link to the dump file is broken.  Does anyone
> happen to know of a mirror or an alternative library?
> 
> Thanks,
> 
> stan