Sciweavers

CONCURRENCY
2007
100views more  CONCURRENCY 2007»
13 years 8 months ago
An instrumentation technique for online analysis of multithreaded programs
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
Grigore Rosu, Koushik Sen