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

pvs specification on information systems



Hi, Dave, thank you very much. I've read your  "Using PVS to Prove a Z
Refinment: A Case Study". It's very userful. But I still have trouble to
specify a information system. Because it is so different with any hardware
syystem or compiler system. So do you have any  good cases on information
systems such as bank, library and shopping system? Any help would be
appreciated.

Thank you...

Bing Wu
 Bsc Msc Phd
 MCSE MCNE
 School of Computing and Mathematics
 University of Bradford
 Bradford, West Yorkshire, BD7 1DP, UK
 Telephone: 01274-233934
 Email: b.wu@scm.brad.ac.uk