Threader swMATH ID: 9938 Software Authors: Popeea, Corneliu; Rybalchenko, Andrey Description: Threader: a verifier for multi-threaded programs. 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. Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-36742-7_51 Related Software: CPAchecker; SLAM; CBMC; Predator; UFO; SymmPa; ASTREE; SatAbs; Cseq; BLAST; YOGI; SLAB; MAGIC; z3; RELAY; LOCKSMITH; ESBMC; Eraser; CIVL; Viper Cited in: 12 Publications all top 5 Cited by 29 Authors 3 Kröning, Daniel 2 Chaki, Sagar 2 Gurfinkel, Arie 2 Kaiser, Alexander D. 2 Strichman, Ofer 2 Tautschnig, Michael 2 Wahl, Thomas 1 Alglave, Jade 1 Andrianov, P. S. 1 Beyer, Dirk 1 Donaldson, Alastair F. 1 Gange, Graeme 1 Gulwani, Sumit 1 Gurov, Dilian 1 Heljanko, Keijo 1 Huisman, Marieke 1 Jhala, Ranjit 1 Miné, Antoine 1 Monat, Raphaël 1 Navas, Jorge A. 1 Nimal, Vincent 1 Oortwijn, Wytse 1 Podelski, Andreas 1 Rybalchenko, Andrey 1 Saarikivi, Olli 1 Schachte, Peter 1 Schmidt, David A. 1 Søndergaard, Harald 1 Stuckey, Peter James Cited in 5 Serials 2 Formal Methods in System Design 1 Programming and Computer Software 1 Information and Computation 1 Theory and Practice of Logic Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 1 Field 12 Computer science (68-XX) Citations by Year