PROVING PROGRAMS TO BE CORRECT

被引：0

作者：

KING, JC

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：44 / &

共 50 条

[1] PROVING PROGRAMS TO BE CORRECT
KING, JC
IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (11) : 1331 - &
[2] PROVING PROGRAMS CORRECT THROUGH REFINEMENT
CORRELL, CH
ACTA INFORMATICA, 1978, 9 (02) : 121 - 132
[3] EXERCISE IN PROVING PARALLEL PROGRAMS CORRECT
GRIES, D
COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 921 - 930
[4] Proving concurrent constraint programs correct
DeBoer, FS
Gabbrielli, M
Marchiori, E
Palamidessi, C
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (05): : 685 - 725
[5] Proving concurrent constraint programs correct
Universiteit Utrecht, Utrecht, Netherlands
ACM Trans Program Lang Syst, 5 (685-725):
[6] Automatically proving concurrent programs correct
Cook, Byron
SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 269 - 269
[7] PROVING PROGRAMS CORRECT - ANDERSON,RB
EVELYN, D
JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1980, 31 (02) : 198 - 198
[8] A formal method for proving programs correct
Chiang, CC
Neubart, D
2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 718 - 723
[9] SOFTWARE RELIABILITY THROUGH PROVING PROGRAMS CORRECT
LONDON, RL
COMPUTER, 1971, 4 (01) : 44 - &
[10] Proving Calculational Proofs Correct
Walter, Andrew T.
Kumar, Ankit
Manolios, Panagiotis
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 393 : 133 - 150