PROVING CONTROL PROGRAMS

被引：0
|
作者：
不详
机构：
来源：
ELECTRICAL REVIEW | 1972年 / 190卷 / 16期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：534 / &
相关论文
共 50 条
  • [31] PROVING PROPERTIES OF PROGRAMS BY STRUCTURAL INDUCTION
    BURSTALL, RM
    COMPUTER JOURNAL, 1969, 12 (01): : 41 - &
  • [32] Proving Expected Sensitivity of Probabilistic Programs
    Barthe, Gilles
    Espitau, Thomas
    Gregoire, Benjamin
    Hsu, Justin
    Strub, Pierre-Yves
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2 (POPL):
  • [33] PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS
    ASHCROFT, EA
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 10 (01) : 110 - 135
  • [34] Proving failure in functional logic programs
    López-Fraguas, FJ
    Sánchez-Hernández, J
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 179 - 193
  • [35] Proving pointer programs in Hoare logic
    Bornat, R
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2000, 1837 : 102 - 126
  • [36] PROVING PROGRAMS CORRECT - ANDERSON,RB
    EVELYN, D
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1980, 31 (02) : 198 - 198
  • [37] 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
  • [38] Proving completeness of logic programs with the cut
    Drabent, Wodzimierz
    FORMAL ASPECTS OF COMPUTING, 2017, 29 (01) : 155 - 172
  • [39] Verifying programs using abstraction and theorem proving
    Qian, Junyan
    Xu, Baowen
    IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 1044 - +
  • [40] Verifying Haskell programs by combining testing and proving
    Dybjer, P
    Qiao, HY
    Takeyama, M
    THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 272 - 279
12345