PROVING CONTROL PROGRAMS

被引：0
|
作者：
不详
机构：
来源：
ELECTRICAL REVIEW | 1972年 / 190卷 / 16期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：534 / &
相关论文
共 50 条
  • [21] Proving Termination of C Programs with Lists
    Hensel, Jera
    Giesl, Juergen
    AUTOMATED DEDUCTION, CADE 29, 2023, 14132 : 266 - 285
  • [22] Proving termination of programs automatically with AProVE
    Giesl, Jürgen
    Brockschmidt, Marc
    Emmes, Fabian
    Frohn, Florian
    Fuhs, Carsten
    Otto, Carsten
    Plücker, Martin
    Schneider-Kamp, Peter
    Ströder, Thomas
    Swiderski, Stephanie
    Thiemann, René
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8562 LNAI : 184 - 191
  • [23] 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
  • [24] PROVING TOTAL CORRECTNESS OF PARALLEL PROGRAMS
    BABICH, AF
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (06) : 558 - 574
  • [25] Proving termination of tree manipulating programs
    Habermehl, Peter
    Iosif, Radu
    Rogalewicz, Adam
    Vojnar, Tomas
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 145 - +
  • [26] Proving concurrent constraint programs correct
    Universiteit Utrecht, Utrecht, Netherlands
    ACM Trans Program Lang Syst, 5 (685-725):
  • [27] PROVING TERMINATION OF GENERAL PROLOG PROGRAMS
    APT, KR
    PEDRESCHI, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 265 - 289
  • [28] INDUCTIVE METHODS FOR PROVING PROPERTIES OF PROGRAMS
    MANNA, Z
    NESS, S
    VUILLEMIN, J
    COMMUNICATIONS OF THE ACM, 1973, 16 (08) : 491 - 502
  • [29] Automatically proving concurrent programs correct
    Cook, Byron
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 269 - 269
  • [30] PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS
    ASHCROFT, EA
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 10 (01) : 110 - 135
12345