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 条

[1] Approach to testing the nonexistence of initial state in Z specifications
Shanghai Univ, Shanghai, China
Proc Asian Test Symp, (289-294):
[2] Proving temporal properties of Z specifications using abstraction
Smith, G
Winter, K
ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 260 - 279
[3] PROVING ENTAILMENT BETWEEN CONCEPTUAL STATE SPECIFICATIONS
STARK, EW
THEORETICAL COMPUTER SCIENCE, 1988, 56 (01) : 135 - 154
[4] PROVING ENTAILMENT BETWEEN CONCEPTUAL STATE SPECIFICATIONS
STARK, EW
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 197 - 209
[5] Proving the Existence of Fair Paths in Infinite-State Systems
Cimatti, Alessandro
Griggio, Alberto
Magnago, Enrico
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 104 - 126
[6] ON THE EXISTENCE OF INITIAL MODELS FOR PARTIAL (HIGHER-ORDER) CONDITIONAL SPECIFICATIONS
ASTESIANO, E
CERIOLI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 74 - 88
[7] Proving semantical equivalence of data specifications
Piessens, F
Steegmans, E
JOURNAL OF PURE AND APPLIED ALGEBRA, 1997, 116 (1-3) : 291 - 322
[8] Inductive Theorem Proving for Design Specifications
J Symb Comput, 1 (41):
[9] Inductive theorem proving for design specifications
Padawitz, P
JOURNAL OF SYMBOLIC COMPUTATION, 1996, 21 (01) : 41 - 99
[10] A technique for proving existence of solutions
Biles, DC
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1997, 206 (02) : 589 - 605

← 1 2 3 4 5 →