机译:基于定理证明检查对象-Z正式规范的一致性
College of Computer Science Jiangxi University of Engineering;
Computer Science Jiangxi University of Engineering;
Computer Science Jiangxi University of Engineering;
Cybernetics Faculty of Electrical Engineering Czech Technical University in Prague Technická;
Object-Z; elevator system; formal specification; Z/EVES; theorem proof;
机译:基于Object-Z和状态图的异构形式规范:语义和验证
机译:使用形式化元模型检查信息系统规范中功能视图的一致性
机译:功能满足场景:基于场景的建模和一致性检查产品线规格
机译:使用z / eve自动检查对象-z正式规范
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:自然语言规范的形式一致性检验
机译:正式指定程序的自动运行时一致性检查和调试。