Paper Info
Title
Threader: A Verifier for Multi-threaded Programs - (Competition Contribution).
Abstract
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.
Year
Venue
Field
2013
Lecture Notes in Computer Science
Programming language,Computer science,Multi threaded,Theoretical computer science
DocType
Volume
ISSN
Conference
7795
0302-9743
Citations 
PageRank 
References 
6
0.48
0
Authors
2
Name
Order
Citations
PageRank
Corneliu Popeea137418.27
Andrey Rybalchenko2143968.53