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结构。
本网站所收集内容来自网友分享仅供参考,实际请以各学校实际公布信息为主!内容侵权及错误投诉:1553292129@qq.com
CopyRight © 2020-2025 优校网[www.youxiaow.com]版权所有 All Rights Reserved. 浙ICP备2024058711号