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] 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
  • [6] Formal Verification of Spacecraft Control Programs
    Lukyanov, Georgy
    Mokhov, Andrey
    Lechner, Jakob
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (05)
  • [7] 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
  • [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 Programs in the Pifagor Language
    Kropacheva, Mariya
    Legalov, Alexander
    PARALLEL COMPUTING TECHNOLOGIES (PACT 2013), 2013, 7979 : 80 - 89
  • [10] Efficient Formal Verification of Bounds of Linear Programs
    Solovyev, Alexey
    Hales, Thomas C.
    INTELLIGENT COMPUTER MATHEMATICS, MKM 2011, 2011, 6824 : 123 - 132
12345