PROVING TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS IN INFINITARY LOGIC

被引：15

|

作者：

BACK, RJR ^{[1
]}

机构：

[1] MATH CENTRUM,1098 SJ AMSTERDAM,NETHERLANDS

来源：

ACTA INFORMATICA | 1981年 / 15卷 / 03期

关键词：

D O I：

10.1007/BF00289263

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：233 / 249

页数：17

相关论文

共 50 条

[1] ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS
HAREL, D
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 175 - 192
[2] PROVING TOTAL CORRECTNESS OF PARALLEL PROGRAMS
BABICH, AF
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (06) : 558 - 574
[3] CORRECTNESS OF NONDETERMINISTIC PROGRAMS
MANNA, Z
[J]. ARTIFICIAL INTELLIGENCE, 1970, 1 (1-2) : 1 - 26
[4] PROVING CORRECTNESS OF PROGRAMS
CONSTABLE, RL
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A334 - A335
[5] PROVING CORRECTNESS WITH RESPECT TO NONDETERMINISTIC SAFETY SPECIFICATIONS
SISTLA, AP
[J]. INFORMATION PROCESSING LETTERS, 1991, 39 (01) : 45 - 49
[6] THE CORRECTNESS OF NONDETERMINISTIC PROGRAMS REVISITED
HOLENDERSKI, L
[J]. INFORMATION PROCESSING LETTERS, 1986, 23 (06) : 299 - 303
[7] INTRODUCTION TO PROVING CORRECTNESS OF PROGRAMS
HANTLER, SL
KING, JC
[J]. COMPUTING SURVEYS, 1976, 8 (03) : 331 - 353
[8] PROVING THE CORRECTNESS OF REGULAR DETERMINISTIC PROGRAMS - A UNIFYING SURVEY USING DYNAMIC LOGIC
HAREL, D
[J]. THEORETICAL COMPUTER SCIENCE, 1980, 12 (01) : 61 - 81
[9] CORRECTNESS OF RECURSIVE PARALLEL NONDETERMINISTIC FLOW PROGRAMS
GOGUEN, JA
MESEGUER, J
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) : 268 - 290
[10] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
GILLUEZAS, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208

← 1 2 3 4 5 →