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...
প্রধান লেখক: | Kaiser, A, Kroening, D, Wahl, T |
---|---|
বিন্যাস: | Journal article |
প্রকাশিত: |
Association for Computing Machinery
2014
|
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
Multithreading programming techniques /
অনুযায়ী: 372664 Prasad, Shashi
প্রকাশিত: (1997) -
Executing Multithreaded Programs Efficiently
অনুযায়ী: Blumofe, Robert D.
প্রকাশিত: (2023) -
Executing multithreaded programs efficiently
অনুযায়ী: Blumofe, Robert D. (Robert David)
প্রকাশিত: (2005) -
Systematic Testing of Multithreaded Programs
অনুযায়ী: Bruening, Derek, অন্যান্য
প্রকাশিত: (2023) -
Multithreading programming techniques / [disket]
অনুযায়ী: 372664 Prasad, Shashi
প্রকাশিত: (1997)