Verifying Functional Correctness of C Programs with VCC

被引：0
|
作者：
Moskal, Michal [1 ]
机构：
[1] Microsoft Res Redmond, Redmond, WA USA
来源：
NASA FORMAL METHODS | 2011年 / 6617卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：56 / 57
页数：2
相关论文
共 50 条
  • [1] A Correctness Verification Method for C Programs Based on VCC
    Liang, Hongliang
    Zhang, Daijie
    Pei, Xiaoxiao
    Jia, Xiaodong
    Li, Guangyuan
    Xu, Jiuyun
    [J]. 2016 IEEE 3RD INTERNATIONAL CONFERENCE ON CYBER SECURITY AND CLOUD COMPUTING (CSCLOUD), 2016, : 172 - 177
  • [2] VERIFYING CORRECTNESS OF LOGIC PROGRAMS
    BOSSI, A
    COCCO, N
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 96 - 110
  • [3] VCC: A Practical System for Verifying Concurrent C
    Cohen, Ernie
    Dahlweid, Markus
    Hillebrand, Mark
    Leinenbach, Dirk
    Moskal, Michal
    Santen, Thomas
    Schulte, Wolfram
    Tobies, Stephan
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 23 - +
  • [4] Verifying Correctness
    Hoffmann, Leah
    [J]. COMMUNICATIONS OF THE ACM, 2024, 67 (03) : 108 - 107
  • [5] Practical model-checking method for verifying correctness of MPI programs
    Pervez, Salman
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    Palmer, Robert
    Thakur, Rajeev
    Gropp, William
    [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2007, 4757 : 344 - +
  • [6] Verifying Functional Correctness Properties at the Level of Java']Java Bytecode
    Paganoni, Marco
    Furia, Carlo A.
    [J]. FORMAL METHODS, FM 2023, 2023, 14000 : 343 - 363
  • [7] VERIFYING ASYMPTOTIC CORRECTNESS
    HOWARD, M
    [J]. COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 109 - 112
  • [8] Proving the Correctness of Algorithmic Debugging for Functional Programs
    Luo, Yong
    Chitil, Olaf
    [J]. TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7, 2007, 7 : 19 - 34
  • [9] Verifying Arithmetic in Cryptographic C Programs
    Liu, Jiaxiang
    Shi, Xiaomu
    Tsai, Ming-Hsien
    Wang, Bow-Yaw
    Yang, Bo-Yin
    [J]. 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 564 - 576
  • [10] On verifying the correctness of retimed circuits
    Huang, SY
    Cheng, KT
    Chen, KC
    [J]. SIXTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1996, : 277 - 280
12345