26 search results - page 1 / 6 » Reducing Context-Bounded Concurrent Reachability to Sequenti... |
CAV
2009
Springer
13 years 11 months ago
2009
Springer
CAV
2007
Springer
13 years 10 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
CAV
2008
Springer
13 years 6 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
SPIN
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
DAC
1996
ACM
13 years 8 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...