Threader: A Verifier for Multi-threaded Programs (Competition Contribution)

被引：0
|
作者：
Popeea, Corneliu [1 ]
Rybalchenko, Andrey [1 ]
机构：
[1] Tech Univ Munich, Munich, Germany
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013 | 2013年 / 7795卷
关键词：
ABSTRACTION;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
THREADER is a tool that automates verification of safety and termination properties for multi-threaded C programs. The distinguishing feature of THREADER is its use of reasoning that is compositional with regards to the thread structure of the verified program. This paper describes the verification approach taken by THREADER and provides instructions on how to install and use the tool.
引用
收藏
页码：633 / 636
页数：4
相关论文
共 50 条
  • [1] Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution)
    He, Fei
    Sun, Zhihang
    Fan, Hongyu
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II, 2022, 13244 : 424 - 428
  • [2] Security Check for Multi-threaded Programs
    Tri Minh Ngo
    Tuan Van Nguyen
    [J]. 2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470
  • [3] A Basis for Verifying Multi-threaded Programs
    Rustan, K.
    Leino, M.
    Mueller, Peter
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
  • [4] Information Declassification for Multi-Threaded Programs
    Zhu, Hao
    Zhuang, Yi
    Chen, Xiang
    [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
  • [5] Probabilistic noninterference for multi-threaded programs
    Sabelfeld, A
    Sands, D
    [J]. 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
  • [6] Information leakage of multi-threaded programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    [J]. COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
  • [7] Causal Termination of Multi-threaded Programs
    Kupriyanov, Andrey
    Finkbeiner, Bernd
    [J]. COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
  • [8] Regression Verification for Multi-threaded Programs
    Chaki, Sagar
    Gurfinkel, Arie
    Strichman, Ofer
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
  • [9] Synergistic Timing Speculation for Multi-threaded Programs
    Yasin, Atif
    Zhang, Jeff
    Chen, Hu
    Garg, Siddharth
    Roy, Sanghamitra
    Chakraborty, Koushik
    [J]. 2016 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2016,
  • [10] Quantitative Analysis of Leakage for Multi-threaded Programs
    Chen, Han
    Malacaria, Pasquale
    [J]. PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 31 - 40
12345