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 条
  • [31] Distributed Verification of Multi-threaded C++ Programs
    Edelkamp, Stefan
    Jabbar, Shahid
    Sulewski, Damian
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 198 (01) : 33 - 46
  • [32] Study of common pitfalls in simple multi-threaded programs
    Choi, Sung-Eun
    Lewis, E. Christopher
    [J]. SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), 2000, : 325 - 329
  • [33] Deterministic Synchronization of Multi-Threaded Programs with Operational Transformation
    Boelmann, Christopher
    Schwittmann, Lorenz
    Weis, Torben
    [J]. PROCEEDINGS OF 2014 IEEE INTERNATIONAL PARALLEL & DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2014, : 381 - 390
  • [34] A study of common pitfalls in simple multi-threaded programs
    Choi, SE
    Lewis, EC
    [J]. SIGCSE 2000: PROCEEDINGS OF THE THIRTY-FIRST SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2000, 32 (01): : 325 - 329
  • [35] Logic of multi-threaded programs for non-interference
    Li, Qin
    Zeng, Qing-Kai
    Yuan, Zhi-Xiang
    [J]. Ruan Jian Xue Bao/Journal of Software, 2014, 25 (06): : 1143 - 1153
  • [36] Information Flow Security of Multi-Threaded Distributed Programs
    Focardi, Riccardo
    Centenaro, Matteo
    [J]. PLAS'08: PROCEEDINGS OF THE ACM SIGPLAN THIRD WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2008, : 113 - 124
  • [37] Complexity and information flow analysis for multi-threaded programs
    Tri Minh Ngo
    Marieke Huisman
    [J]. The European Physical Journal Special Topics, 2017, 226 : 2375 - 2392
  • [38] Safe and Timely Dynamic Updates for Multi-threaded Programs
    Neamtiu, Iulian
    Hicks, Michael
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (06) : 13 - 24
  • [39] Interactive visualization environment of multi-threaded parallel programs
    Stein, B
    de Kergommeaux, JC
    [J]. PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 311 - 318
  • [40] Handling information release and erasure in multi-threaded programs
    Jiang, Li
    Ping, Lingdi
    Pan, Xuezeng
    [J]. CIS: 2007 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PROCEEDINGS, 2007, : 824 - 828
12345