A widening approach to multithreaded program verification

Pthread-style multithreaded programs feature rich thread communication mechanisms, such as shared variables, signals, and broadcasts. In this article, we consider the automated verification of such programs where an unknown number of threads execute a given finite-data procedure in parallel. Such pr...

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar: Kaiser, A, Kroening, D, Wahl, T
Materyal Türü: Journal article
Baskı/Yayın Bilgisi: Association for Computing Machinery 2014