4385 search results - page 35 / 877 » Abstraction for Concurrent Objects |
CONCUR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
102
click to vote
TACAS
2010
Springer
14 years 8 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
CAV
2008
Springer
15 years 20 days ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
APLAS
2010
ACM
14 years 7 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
BCS
2008
15 years 4 days ago
2008
on Abstraction Implementation Related Work and Conclusion Object representatives: a uniform ion for pointer information Eric Bodden, Patrick Lam and Laurie Hendren September 2008 ...