Sciweavers

CONCUR
2005
Springer

A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs

13 years 9 months ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
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 model). The technology used here is based on research on geometric semantics by the authors and ators [1]. It has been implemented in a abstract interpretation based static analyzer (ALCOOL), and we show some preliminary results and benchmarks.
Eric Goubault, Emmanuel Haucourt
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CONCUR
Authors Eric Goubault, Emmanuel Haucourt
Comments (0)