|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.