Proving the existence of initial state in Z specifications

被引：0
|
作者：
Miao, Huaikou
McDermid, John
Toyn, Ian
机构：
来源：
Ruan Jian Xue Bao/Journal of Software | 1995年 / 6卷 / 12期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Formalizing and proving semantic relations between specifications by reflection
    Clavel, M
    Martí-Oliet, N
    Palomino, M
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 72 - 86
  • [22] Proving Ground Confluence of Equational Specifications Modulo Axioms
    Duran, Francisco
    Meseguer, Jose
    Rocha, Camilo
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2018, 2018, 11152 : 184 - 204
  • [23] PROVING NON-EXISTENCE OF GOD
    POLLOCK, JL
    INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 1966, 9 (02): : 193 - 196
  • [24] MODAL MODEL FOR PROVING THE EXISTENCE OF GOD
    MAYDOLE, RE
    AMERICAN PHILOSOPHICAL QUARTERLY, 1980, 17 (02) : 135 - 142
  • [25] Proving the existence of loops in robot trajectories
    Rohou, Simon
    Franek, Peter
    Aubry, Clement
    Jaulin, Luc
    INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2018, 37 (12): : 1500 - 1516
  • [26] Towards proving the existence of "bound" information
    Renner, R
    Wolf, S
    ISIT: 2002 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS, 2002, : 103 - 103
  • [27] On the existence of translations of structured specifications
    Diaconescu, Razvan
    INFORMATION PROCESSING LETTERS, 2015, 115 (01) : 15 - 22
  • [28] PROVING GODS EXISTENCE .1.
    SAMUELSON, N
    JUDAISM, 1967, 16 (01) : 21 - 36
  • [29] PROVING GODS EXISTENCE .2.
    HARRIS, M
    JUDAISM, 1967, 16 (01) : 37 - 41
  • [30] AN INTRODUCTION TO Z AND FORMAL SPECIFICATIONS
    SPIVEY, JM
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 40 - 50
12345