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

Re: pvs specification on information systems



> So do you have any  good cases on information
> systems such as bank, library and shopping system? Any help would be
> appreciated.

You might want to check out the "phone book" example in the WIFT Tutorial
at http://pvs.csl.sri.com/pvs/examples/wift-tutorial/wift-tutorial.html

John Rushby

-------