227 search results - page 3 / 46 » Bounded Model Checking of Concurrent Programs |
149
click to vote
PPOPP
2010
ACM
16 years 23 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
151
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
124
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
192
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
155
Voted
FMICS
2009
Springer
15 years 7 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...