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

[PVS-Help] pvs demo of stack




Hi
   I am new to the pvs. Could you tell me where I can find the demo
specification of a stack. And How to prove the theorems bases on that
stack. 

   Thanks in advanced.

Joe