178 search results - page 4 / 36 » Model Checking Concurrent Programs with Nondeterminism and R... |
FMICS
2009
Springer
13 years 10 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
CAV
2005
Springer
13 years 11 months ago
2005
Springer
FMSB
2008
13 years 7 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
DAGSTUHL
2001
13 years 7 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...