A partition induction for the formal verification of loop programs

被引：0
|
作者：
Zhong, Yang [1 ]
Song, Guo-Xin [1 ]
Ji, Chun-Lei [1 ,2 ]
机构：
[1] School of Information Science and Engineering, East China University of Science and Technology, Shanghai 200237, China
[2] Shanghai Dianji University, Shanghai 200240, China
来源：
Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology | 2008年 / 34卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：834 / 836
相关论文
共 50 条
  • [1] Formal verification of PLC programs
    Rausch, M
    Krogh, BH
    PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 234 - 238
  • [2] FORMAL VERIFICATION OF PARALLEL PROGRAMS
    KELLER, RM
    COMMUNICATIONS OF THE ACM, 1976, 19 (07) : 371 - 384
  • [3] FORMAL VERIFICATION OF ADA PROGRAMS
    GUASPARI, D
    MARCEAU, C
    POLAK, W
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 1058 - 1075
  • [4] CIVL: Formal Verification of Parallel Programs
    Zheng, Manchun
    Rogers, Michael S.
    Luo, Ziqing
    Dwyer, Matthew B.
    Siegel, Stephen F.
    2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 830 - 835
  • [5] A Logic for Formal Verification of Quantum Programs
    Kakutani, Yoshihiko
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2009: INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2009, 5913 : 79 - 93
  • [6] Formal Verification of Spacecraft Control Programs
    Lukyanov, Georgy
    Mokhov, Andrey
    Lechner, Jakob
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (05)
  • [7] Formal Verification of Programs in the Pifagor Language
    Kropacheva, Mariya
    Legalov, Alexander
    PARALLEL COMPUTING TECHNOLOGIES (PACT 2013), 2013, 7979 : 80 - 89
  • [8] Formal Verification of Signalling Programs with SafeCap
    Iliasov, Alexei
    Taylor, Dominic
    Laibinis, Linas
    Romanovsky, Alexander
    COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2018), 2018, 11093 : 91 - 106
  • [9] Formal Verification of Practical MPI Programs
    Vo, Anh
    Vakkalanka, Sarvani
    DeLisi, Michael
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    Thakur, Rajeev
    ACM SIGPLAN NOTICES, 2009, 44 (04) : 261 - 269
  • [10] Formal Verification of Complex Properties on PLC Programs
    Darvas, Daniel
    Adiego, Borja Fernandez
    Voeroes, Andras
    Bartha, Tamas
    Vinuela, Enrique Blanco
    Gonzalez Suarez, Victor M.
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, 2014, 8461 : 284 - 299
12345