I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Threader: A Verifier for Multi-threaded Programs


Threader is a tool that automates verification of safety and liveness 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. There are a number of successful tools including SLAM, Blast, ARMC and CPAChecker that are also based on abstraction refinement.

Download Threader (x86-64 Linux)

The tool should be run as follows: ./threader.sh file.i. The working directory should be the directory where Threader's files are located.

People contributing to the project:

  • Corneliu Popeea
  • Andrey Rybalchenko

Last modified: 2-Nov-2013.