The description of class is extended and the corresponding Kripke structure is presented by taking general stack of Object-Z as a case.
以Object-Z的通用堆栈类为实例,对类的描述进行扩展,给出了相应的Kripke结构。
